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