sig   val inset_string : unit -> string   val emptyset_string : unit -> string end