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

Last change on this file since 818 was 818, checked in by ayache, 8 years ago

32 and 16 bits operations support in D2.2/8051

File size: 462 bytes
Line 
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
22  val make_unique : Set.t -> (string -> string)
23
24end
Note: See TracBrowser for help on using the repository browser.