module type S1 = sig .. end
sig
end
type 'a t
'a
val typename_of_t : 'a Typename.typename -> 'a t Typename.typename
'a Typename.typename -> 'a t Typename.typename