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