def madd

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

import Base

46def madd(+m: Nat, a: Nat, b: Nat) -> Nat:
47  Nat.mod(Nat.add(a, b), m)

Uses (3)