From e11068aa90f6e7fc728d4583998cd99cfa850211 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 27 Sep 2018 22:04:28 +0200
Subject: [pretyper] Remove imperative passing of evar_map.

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

(limited to 'clib/cArray.mli')

diff --git a/clib/cArray.mli b/clib/cArray.mli
index 5c7e09eeac..163191681a 100644
--- a/clib/cArray.mli
+++ b/clib/cArray.mli
@@ -114,6 +114,10 @@ sig
   val fold_left2_map : ('a -> 'b -> 'c -> 'a * 'd) -> 'a -> 'b array -> 'c array -> 'a * 'd array
   (** Same with two arrays, folding on the left; see also [Smart.fold_left2_map] *)
 
+  val fold_left2_map_i :
+    (int -> 'a -> 'b -> 'c -> 'a * 'd) -> 'a -> 'b array -> 'c array -> 'a * 'd array
+  (** Same than [fold_left2_map] but passing the index of the array *)
+
   val fold_right2_map : ('a -> 'b -> 'c -> 'd * 'c) -> 'a array -> 'b array -> 'c -> 'd array * 'c
   (** Same with two arrays, folding on the left *)
 
-- 
cgit v1.2.3