any…→…in|of_§satisfies_

Definitions:

literal phrase ⇒ token, literal phrase ⇒ token, expression phrase ⇒ map, block phrase ⇒ []→boolean
Source: /avail/Avail/Foundation/Maps
Categories: Collections, Tuples, Queries
Compute and answer whether any of the elements of aTuple satisfies the specified function. Do not examine more elements than necessary.
Position Name Type Description
Parameters
1 keyPhrase literal phrase ⇒ token A literal phrase holding a synthetic literal token whose value is the name of the loop variable representing the key of the map.
2 valuePhrase literal phrase ⇒ token A literal phrase holding a synthetic literal token whose value is the name of the loop variable representing the value of the map.
3 aMap expression phrase ⇒ map An expression phrase that yields the tuple to iterate over
4 predicateBlock block phrase ⇒ []→boolean A zero-argument block phrase that represents the body of the predicate function.
Returns send phrase ⇒ ⊤