def Word.inc

Base · base.bend:1338

1338def Word.inc(n: Nat, w: Word(n)) -> Word(n):
1339  match n:
1340    case 0n:
1341      WNil{}
1342    case 1n+p:
1343      match w:
1344        case WCon{False{}, t}:
1345          WCon{True{}, t}
1346        case WCon{True{}, t}:
1347          WCon{False{}, Word.inc(p, t)}