From 213207a1612d311f2f60d7e498ebd53a13ce039b Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 5 Sep 2020 19:41:37 +0200
Subject: Adding Array.iter3.

---
 clib/cArray.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'clib/cArray.mli')

diff --git a/clib/cArray.mli b/clib/cArray.mli
index f40ceb56db..664bad4c0a 100644
--- a/clib/cArray.mli
+++ b/clib/cArray.mli
@@ -92,6 +92,9 @@ sig
   val iter2_i : (int -> 'a -> 'b -> unit) -> 'a array -> 'b array -> unit
   (** Iter on two arrays. Raise [Invalid_argument "Array.iter2_i"] if sizes differ. *)
 
+  val iter3 : ('a -> 'b -> 'c -> unit) -> 'a array -> 'b array -> 'c array -> unit
+  (** Iter on three arrays. Raise [Invalid_argument "Array.iter3"] if sizes differ. *)
+
   val fold_left_map : ('a -> 'b -> 'a * 'c) -> 'a -> 'b array -> 'a * 'c array
   (** [fold_left_map f e_0 [|l_1...l_n|] = e_n,[|k_1...k_n|]]
     where [(e_i,k_i)=f e_{i-1} l_i]; see also [Smart.fold_left_map] *)
-- 
cgit v1.2.3