~/jendhub

def mneg

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/field.bend:53

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

53def mneg(+m: Nat, a: Nat) -> Nat:
54  msub(m, 0n, a)

Uses (2)

Used by (12)