sig
  type 'a named
  type a
  val a : Std_internal.Typerep.Named.T1.a Std_internal.Typerep.t
  type t
  val typename_of_named :
    'Typename.t -> 'Std_internal.Typerep.Named.T1.named Typename.t
  val typename_of_t : Std_internal.Typerep.Named.T1.t Typename.t
  val witness :
    (Std_internal.Typerep.Named.T1.t,
     Std_internal.Typerep.Named.T1.a Std_internal.Typerep.Named.T1.named)
    Type_equal.t
end