Module type Typename.S0

module type S0 = sig .. end

type t 
val typename_of_t : t Typename.typename