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, 0 insertions, 16 deletions
diff --git a/devel/ocaml-extlib/files/patch-extArray.mli b/devel/ocaml-extlib/files/patch-extArray.mli deleted file mode 100644 index a0a99a8582f7..000000000000 --- a/devel/ocaml-extlib/files/patch-extArray.mli +++ /dev/null @@ -1,16 +0,0 @@ ---- 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 |