def Nat.max

Base · base.bend:755

755def Nat.max(+a: Nat, +b: Nat) -> Nat:
756  match a b:
757    case 0n _:
758      b
759    case 1n+ap 0n:
760      1n+ap
761    case 1n+ap 1n+bp:
762      1n+Nat.max(ap, bp)