Module type Std_internal.Typerep.Named.T1

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