Typed_field.Deeptype nonrec derived_on = ttype nonrec 'result t = 'result typed__tinclude Typed_fields_lib.S
with type 'a t := 'a t
and type derived_on := derived_onval name : 'a t -> Base.stringval path : 'a t -> Base.string Base.listval __ord : 'a t -> Base.int Base.listmodule Type_ids : sig ... endmodule Packed : sig ... endval get : 'a t -> derived_on -> 'aval set : 'a t -> derived_on -> 'a -> derived_onval create : creator -> derived_on