def mm_bit
import bend-collections-laws-math@1.0.0.0/src/math/generic.bend as Genericimport Base
import bend-collections-laws-math@1.0.0.0/src/math/num.bend as N
517def mm_bit(~T: Data, ~op: N.Op<T> -> T, odd: Bool, +m: T, +b: T, +acc: T) -> T:
518 match odd:
519 case False{}:
520 acc
521 case True{}:
522 op(N.MulMod{acc, b, m})
Uses (2)
Used by (5)
- bend-collections-laws-math@1.0.0.0/src/math/generic:pow_mod_go
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/u32int:mmb_v
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/u32int:pmsim
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/u64int:mmb_v
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/u64int:pmsim