Functor Typename.Make0

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

type t 
val typename_of_t : t Typename.typename