def mmul

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/field.bend as Field

import Base

56def mmul(+m: Nat, a: Nat, b: Nat) -> Nat:
57  Nat.mod(Nat.mul(a, b), m)

Uses (3)