diff options
Diffstat (limited to 'devel/ocaml-extlib/files/patch-extArray.mli')
| -rw-r--r-- | devel/ocaml-extlib/files/patch-extArray.mli | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/devel/ocaml-extlib/files/patch-extArray.mli b/devel/ocaml-extlib/files/patch-extArray.mli new file mode 100644 index 000000000000..a0a99a8582f7 --- /dev/null +++ b/devel/ocaml-extlib/files/patch-extArray.mli @@ -0,0 +1,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 |