module type T0 = sig .. end
sig
end
type named
type t
val typename_of_named : named Typename.t
named Typename.t
val typename_of_t : t Typename.t
t Typename.t
val witness : (t, named) Type_equal.t
(t, named) Type_equal.t