module Make0: functor (X : Named_intf.S0) -> Typerepable.S0 with type t := X.t
functor (
X
:
Named_intf.S0
) ->
Typerepable.S0
with type t := X.t
type t
val typerep_of_t : t Std_internal.Typerep.t
t Std_internal.Typerep.t
val typename_of_t : t Typename.t
t Typename.t