Extensions to the Array module
Same as Array.exists2 from the standard library.
Same as Array.for_all from the standard library, but the function is applied with the index of the element as first argument, and the element itself as second argument.