sig
val
value : string
end