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.