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

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

Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.

File size: 601 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 : sig
12    include Set.S with type elt = t
13    val of_list : elt list -> t
14    val unionl : t list -> t
15  end
16
17  module Map : Map.S with type key = t
18
19  module Gen : sig
20    type universe
21    val fresh_prefix : Set.t -> string -> string
22    val new_universe : string -> universe
23    val fresh : universe -> string
24  end
25
26  val make_unique : Set.t -> (string -> string)
27  val make_fresh  : Set.t -> string -> (unit -> string)
28
29end
Note: See TracBrowser for help on using the repository browser.