Module type Std_internal.Typerep.Named.T0

module type T0 = sig .. end

type named 
type t 
val typename_of_named : named Typename.t
val typename_of_t : t Typename.t
val witness : (t, named)
Type_equal.t