Functor Make_typename.Make0

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

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