Implement update_env_at_place

1 files changed, 4 insertions, 0 deletions

diff --git a/src/Identifiers.ml b/src/Identifiers.ml
index adcb9124..21898498 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 iter : ('a -> unit) -> 'a vector -> unit
+
   val map : ('a -> 'b) -> 'a vector -> 'b vector
 
   module Set : Set.S with type elt = id
@@ -79,6 +81,8 @@ module IdGen () : Id = struct
     | _ :: vec', 0 -> v :: vec'
     | x :: vec', _ -> x :: update_nth vec' (id - 1) v
 
+  let iter = List.iter
+
   let map = List.map
 
   module Set = Set.Make (struct