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