module Make0: functor (X : Named_intf.S0) -> sig .. end
functor (
X
:
Named_intf.S0
) ->
sig
end
val named : X.t Std_internal.Typerep.Named.t
X.t Std_internal.Typerep.Named.t
val typename_of_t : X.t Typename.t
X.t Typename.t