sig
type
t
val
name : string
end