def madd
import bend-collections@1.0.0.0/spec/crypto/secp256k1/field.bend as Fieldimport Base
46def madd(+m: Nat, a: Nat, b: Nat) -> Nat:
47 Nat.mod(Nat.add(a, b), m)
import bend-collections@1.0.0.0/spec/crypto/secp256k1/field.bend as Fieldimport Base
46def madd(+m: Nat, a: Nat, b: Nat) -> Nat:
47 Nat.mod(Nat.add(a, b), m)