2 (** The module type declares functions to manipulate and create fresh
9 val compare : t -> t -> int
12 include Set.S with type elt = t
13 val of_list : elt list -> t
14 val unionl : t list -> t
17 module Map : Map.S with type key = t
21 val fresh_prefix : Set.t -> string -> string
22 val new_universe : string -> universe
23 val fresh : universe -> string
26 val make_unique : Set.t -> (string -> string)
27 val make_fresh : Set.t -> string -> (unit -> string)