def LT

bendtorch-core@0.1.0.0 · src/shape/core.bend:25

import Base

25def LT(a: Nat, b: Nat) -> Data:
26  match a b:
27    case 0n 0n:
28      Empty
29    case 0n 1n+q:
30      Unit
31    case 1n+p 0n:
32      Empty
33    case 1n+p 1n+q:
34      LT(p, q)