sig val inset_string : unit -> string end