def f53_z
bend-collections-laws-crypto@1.0.0.0 · src/math/random/rand.bend:232
import bend-collections-laws-crypto@1.0.0.0/src/math/random/rand.bend as Rand
import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as X
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F
232def f53_z(+m: W.U64, z: Bool) -> F.F64:
233 match z:
234 case True{}:
235 F.zero(False{})
236 case False{}:
237 f53(m, X.clz(m))