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

Last change on this file since 486 was 486, checked in by ayache, 9 years ago

Deliverable D2.2

File size: 413 bytes
RevLine 
[486]1
2(** The module type declares functions to manipulate and create fresh
3    strings. *)
4
5module type S = sig
6
7  type t = string
8
9  val compare : t -> t -> int
10
11  module Set : Set.S with type elt = t
12
13  module Map : Map.S with type key = t
14
15  module Gen : sig
16    type universe
17    val fresh_prefix : Set.t -> string -> string
18    val new_universe : string -> universe
19    val fresh : universe -> string
20  end
21
22end
Note: See TracBrowser for help on using the repository browser.