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