def Nat.sub

Base · base.bend:683

683def Nat.sub(a: Nat, b: Nat) -> Nat:
684  match a b:
685    case 0n _:
686      0n
687    case 1n+ap 0n:
688      1n+ap
689    case 1n+ap 1n+bp:
690      Nat.sub(ap, bp)