sig
val
type_string : string
->
string
end