Fuzion Logo
flang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

forAll

🌌quantors.forAll

forAll quantors for use in analysis parts of contracts

These quantors can be used to check that predicates hold for all values
of one or several specific types.

NYI: If open generics could be passed as actual generic arguments, we no
longer need this code duplication here:
forAll(A..., f A -> bool) bool is intrinsic