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