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 9b125161..adcb9124 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -29,6 +29,8 @@ module type Id = sig val update_nth : 'a vector -> id -> 'a -> 'a vector + val map : ('a -> 'b) -> 'a vector -> 'b vector + module Set : Set.S with type elt = id val set_to_string : Set.t -> string @@ -77,6 +79,8 @@ module IdGen () : Id = struct | _ :: vec', 0 -> v :: vec' | x :: vec', _ -> x :: update_nth vec' (id - 1) v + let map = List.map + module Set = Set.Make (struct type t = id |