Plange


constrain ALL elements of a Collection to be true

syntax

"∀" {IC} EXPRESSION

Example

someNumbers := {| -100, 1, 100 |};

if (∀ { x >= 0 | x ∈ someNumbers}) {
    print("None of the numbers are negative");
} else {
    print("Some of the numbers are negative");
}

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 EXISTS_ONE


copyright © Brent Lewis 2017