Module type Typename.S1

type 'a t
val typename_of_t : 'a typename -> 'a t typename