diff --git a/src/util/Vec.ml b/src/util/Vec.ml
index 01b9731a..277ec362 100644
--- a/src/util/Vec.ml
+++ b/src/util/Vec.ml
@@ -129,6 +129,8 @@ let[@inline] iteri f t =
 
 let[@inline] to_seq a k = iter k a
 
+let to_iter v k = iter k v
+
 let exists p t = Iter.exists p @@ to_seq t
 let for_all p t = Iter.for_all p @@ to_seq t
 let fold f acc a = Iter.fold f acc @@ to_seq a
diff --git a/src/util/Vec.mli b/src/util/Vec.mli
index 5e0038b3..feae52b7 100644
--- a/src/util/Vec.mli
+++ b/src/util/Vec.mli
@@ -84,6 +84,8 @@ val sort : 'a t -> ('a -> 'a -> int) -> unit
 val iter : ('a -> unit) -> 'a t -> unit
 (** Iterate on elements *)
 
+val to_iter : 'a t -> 'a Iter.t
+
 val iteri : (int -> 'a -> unit) -> 'a t -> unit
 (** Iterate on elements with their index *)