sig
  type named
  type t
  val typename_of_named : Std_internal.Typerep.Named.T0.named Typename.t
  val typename_of_t : Std_internal.Typerep.Named.T0.t Typename.t
  val witness :
    (Std_internal.Typerep.Named.T0.t, Std_internal.Typerep.Named.T0.named)
    Type_equal.t
end