~/jendhub

def LT

bend-lawful-stdlib@0.1.0.0 · src/nat.bend:37

import bend-lawful-stdlib@0.1.0.0/src/nat.bend as Nat
import Base

37# a < b. LT(i, 0n) computes to Empty.
38def LT(a: Nat, b: Nat) -> Data:
39  LE(1n+a, b)

Uses (2)

Used by (1)