module Array_util: sig .. end
Utility functions for arrays.
Scanning
val mem : 'a -> 'a array -> bool
mem x a is true when x is an element of a
val exists : ('a -> bool) -> 'a array -> bool
exists p a is true when there is some x in a p x.
val exists_const : ('a -> 'b -> bool) -> 'a -> 'b array -> bool
exists_const p x a is the same as
Array_util.exists (p x)
a, only faster because applying closures is slow.
val for_all : ('a -> bool) -> 'a array -> bool
for_all p a is true when for every x in a p x.
val for_all_const : ('a -> 'b -> bool) -> 'a -> 'b array -> bool
for_all_const p x a is the same as
Array_util.for_all (p
x) a, only faster because applying closures is slow.
Hosted by the
* web site.
*Other names and brands may be claimed as the property
of others.