Functor Type_abstract.Make0

module Make0: 
functor (X : Named_intf.S0) -> Typerepable.S0 with type t := X.t
Parameters:
X : Named_intf.S0

type t 
val typerep_of_t : t Std_internal.Typerep.t
val typename_of_t : t Typename.t