def neg_raw

bend-collections@1.0.0.0 · src/crypto/secp256k1/limbs.bend:164

import Base

164# m - b = (2^256 - 1 - (b + c)) + 1, for b < m (so b + c < 2^256); no
165# constant but c is ever formed
166def neg_raw(+c: List<&2, Nat>, b: List<&2, Nat>) -> List<&2, Nat>:
167  add(comp(norm16(add(b, c))), [1n])