Functor Make_typename.Make0

module Make0: 
functor (X : Named_intf.S0) -> sig .. end

val named : X.t Std_internal.Typerep.Named.t

val typename_of_t : X.t Typename.t