def lt
import bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend as Limbsimport Base
187def lt(xs: List<&2, Nat>, ys: List<&2, Nat>) -> Bool:
188 Nat.is_eq(borrow(xs, ys, 0n), 1n)
Uses (5)
Used by (0)
No other definition uses this definition.