def ltm

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

import Base

169# x < m, i.e. x + c < 2^256, for x of 16 limbs below 2^16
170def ltm(+c: List<&2, Nat>, x: List<&2, Nat>) -> Bool:
171  Nat.is_eq(top(carry(32n, add(x, c), 0n)), 0n)