source: Deliverables/D2.2/8051/src/utilities/stringSig.mli @ 486

(** The module type declares functions to manipulate and create fresh
    strings. *)

module type S = sig

  type t = string

  val compare : t -> t -> int

  module Set : Set.S with type elt = t

  module Map : Map.S with type key = t

  module Gen : sig
    type universe
    val fresh_prefix : Set.t -> string -> string
    val new_universe : string -> universe
    val fresh : universe -> string
  end

end