def minimal

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

import Base

799def minimal(+left: Nat, +right: Nat) -> PadMinimal<Nat.sub(right, left), Nat.sub(left, right)>:
800  match left right:
801    case 0n 0n:
802      PLeftZero{{==}}
803    case 0n 1n+q:
804      PRightZero{{==}}
805    case 1n+p 0n:
806      PLeftZero{{==}}
807    case 1n+p 1n+q:
808      minimal(p, q)