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



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