Module type Typename.S0

type t
val typename_of_t : t typename