def sq_ok

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

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

158def sq_ok(~T: Data, ~test: N.Test<T> -> Bool, more: Bool, +b: T, +bok: Bool) -> Bool:
159  match more:
160    case False{}:
161      bok
162    case True{}:
163      Bool.and(bok, Bool.not(test(N.MulOver{b, b})))