def msub
import bend-collections@1.0.0.0/spec/crypto/secp256k1/field.bend as Fieldimport Base
49# a - b mod m
50def msub(+m: Nat, a: Nat, b: Nat) -> Nat:
51 Nat.mod(Nat.sub(Nat.add(a, m), Nat.mod(b, m)), m)
import bend-collections@1.0.0.0/spec/crypto/secp256k1/field.bend as Fieldimport Base
49# a - b mod m
50def msub(+m: Nat, a: Nat, b: Nat) -> Nat:
51 Nat.mod(Nat.sub(Nat.add(a, m), Nat.mod(b, m)), m)