def Nat.add

Base · base.bend:676

676def Nat.add(a: Nat, b: Nat) -> Nat:
677  match a:
678    case 0n:
679      b
680    case 1n+p:
681      1n+Nat.add(p, b)