Plange


constrain ALL elements of a Collection to be true

syntax

("∀"|"all") 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


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