def dm_pick
import bend-collections-laws-math@1.0.0.0/src/math/w64.bend as W64import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W
360def dm_pick(+a: W.U64, +b: W.U64, small: Bool) -> W.U64 & W.U64:
361 match small:
362 case True{}:
363 dm_small(div32(a, lo(b)))
364 case False{}:
365 dm_big(a, b, q96(a, 0, b, bitlen(hi(b))))
Uses (10)
Used by (7)
- bend-collections-laws-math@1.0.0.0/src/math/w64:divmod
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64dmrem:dmr
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64dmrem:dmr_b
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64dmrem:dmr_s
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64dmtop:dmq
- …