Limbs.ltm: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend as Limbs
Lines 169-171 of bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend&start_line=169&end_line=171

import Base

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend&name=add
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend&name=carry
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend&name=top