def u32_mul_over
import bend-collections-laws-math@1.0.0.0/src/math/fixed.bend as Fixedimport Base
import bend-collections-laws-math@1.0.0.0/src/math/instances.bend as I
79def u32_mul_over(+a: U32, +b: U32) -> Bool:
80 I.u32_mul_over(a, b)
Uses (3)
Used by (6)
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u32_overflowing_mul
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fix32:mul_over
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u32_checked_mul
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u32_saturating_mul
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fix32:checked_mul
- …