source:
Deliverables/D2.2/8051/src/utilities/stringSig.mli
@
486
Last change on this file since 486 was 486, checked in by , 10 years ago | |
---|---|
File size: 413 bytes |
Line | |
---|---|
1 | |
2 | (** The module type declares functions to manipulate and create fresh |
3 | strings. *) |
4 | |
5 | module 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 | end |
Note: See TracBrowser
for help on using the repository browser.