sig
type
t
val
typename_of_t :
Typename
.
S0
.t
Typename
.typename
end