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