Plange


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

syntax

("∃"|"exists") 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


This website does not use cookies or javascript, excluding the Google search bar and Google analytics.
copyright © Brent Lewis 2013-2018