def zst

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

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

196# (x, x == 0)
197def zst(~T: Data, ~test: N.Test<T> -> Bool, +x: T) -> T & Bool:
198  (x, test(N.IsZero{x}))