Plange


a constraint asserting that at least one element of the specified Collection is true

syntax

"∃" {IC} EXPRESSION

Example

shouldRejectLiquorPurchase := (List<Date> patronBirthdates) {
    return ∃{ x < today() - 21yr | x ∈ patronBirthdates };
}

Notes

The values in the collection need not be Bool, so long as Bool casts T is true, where T is the type of each element.

See: EXISTS_ONE ALL


copyright © Brent Lewis 2017