functor (X : Named_intf.S0) -> sig val typerep_of_t : X.t Std_internal.Typerep.t val typename_of_t : X.t Typename.t end