Module type Named.T1
val typename_of_named : 'a Typename.t -> 'a named Typename.tval typename_of_t : t Typename.tval witness : (t, a named) Type_equal.t
Named.T1val typename_of_named : 'a Typename.t -> 'a named Typename.tval typename_of_t : t Typename.tval witness : (t, a named) Type_equal.t