def Nat.min

Base · base.bend:746

746def Nat.min(+a: Nat, +b: Nat) -> Nat:
747  match a b:
748    case 0n _:
749      0n
750    case 1n+ap 0n:
751      0n
752    case 1n+ap 1n+bp:
753      1n+Nat.min(ap, bp)