blob: a0a99a8582f7734477e845fd6f1c2d32d0639942 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
--- extArray.mli 2005/11/25 10:22:10 1.11
+++ extArray.mli 2006/10/11 16:24:42 1.12
@@ -35,6 +35,13 @@
val rev_in_place : 'a array -> unit
(** In-place array reversal. The array argument is updated. *)
+ val iter2 : ('a -> 'b -> unit) -> 'a array -> 'b array -> unit
+ (** [Array.iter2 f [|a1; ...; an|] [|b1; ...; bn|]] performs
+ calls [f a1 b1; ...; f an bn] in that order.
+
+ @raise Invalid_argument if the length of [a1] does not equal the
+ length of [a2]. *)
+
val for_all : ('a -> bool) -> 'a array -> bool
(** [for_all p [a1; ...; an]] checks if all elements of the array
satisfy the predicate [p]. That is, it returns
|
