diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Identifiers.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Identifiers.ml b/src/Identifiers.ml index 824fd8ad..8072b316 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -16,6 +16,8 @@ module type Id = sig val zero : id + val generator_zero : generator + val fresh : generator -> id * generator val to_string : id -> string @@ -85,6 +87,8 @@ module IdGen () : Id = struct let zero = 0 + let generator_zero = 0 + let incr x = (* Identifiers should never overflow (because max_int is a really big * value - but we really want to make sure we detect overflows if |