def zsm

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

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

230# (d, d == 0, a and d small)
231def zsm(~T: Data, ~test: N.Test<T> -> Bool, +a: T, +d: T) -> T & (Bool & Bool):
232  (d, (test(N.IsZero{d}), test(N.Small{a, d})))