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