sig
val
inset_string : unit
->
string
end