def low

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/ecdsa.bend:80

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

80def low(high: Bool, +m: Nat, +s: Nat) -> Nat:
81  match high:
82    case True{}: FS.mneg(m, s)
83    case False{}: s