def LE

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

import Base

36def LE(a: Nat, b: Nat) -> Data:
37  match a b:
38    case 0n q:
39      Unit
40    case 1n+p 0n:
41      Empty
42    case 1n+p 1n+q:
43      LE(p, q)