☰
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 Function<bool, A>) bool is intrinsic