sig
type 'a named
type a
val a : Std_internal.Typerep.Named.T1.a Std_internal.Typerep.t
type t
val typename_of_named :
'a Typename.t -> 'a 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