sig
type
'
a t
val
name : string
end