def u32_mulmod
import bend-collections-laws-crypto@1.0.0.0/src/math/instances.bend as Instancesimport Base
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as X
25def u32_mulmod(+a: U32, +b: U32, +m: U32) -> U32:
26 X.mod32(X.mul32(a, b), m)