diff options
Diffstat (limited to 'src/Identifiers.ml')
| -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 0a3e1c9d..3a900643 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -61,6 +61,8 @@ module type Id = sig TODO: generalize to `map_from_i` *) + val iteri : (id -> 'a -> unit) -> 'a list -> unit + module Ord : C.OrderedType with type t = id module Set : C.Set with type elt = id @@ -131,6 +133,8 @@ module IdGen () : Id = struct in aux 1 ls + let iteri = List.iteri + module Ord = struct type t = id |