1 files changed, 7 insertions, 0 deletions
diff --git a/lib/util.ml b/lib/util.ml
index 3b04e25742..b7aa1fc0ee 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -946,6 +946,13 @@ let array_for_all4 f v1 v2 v3 v4 =
   lv1 = Array.length v4 &&
     allrec (pred lv1) 
 
+let array_for_all_i f i v = 
+  let rec allrec i = function
+    | -1 -> true
+    | n -> (f i v.(n)) && (allrec (i-1) (n-1))
+  in 
+  allrec i ((Array.length v)-1) 
+
 let array_hd v = 
   match Array.length v with
     | 0 -> failwith "array_hd"