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