def ev2

bend-collections-laws-math@1.0.0.0 · src/math/generic.bend:267

import Base
import bend-collections-laws-math@1.0.0.0/src/math/num.bend as N

267def ev2(~T: Data, ~test: N.Test<T> -> Bool, +a: T, +b: T) -> Bool:
268  Bool.not(Bool.or(test(N.Odd{a}), test(N.Odd{b})))