def Word.not

Base · base.bend:1235

1235def Word.not(n: Nat, w: Word(n)) -> Word(n):
1236  match n:
1237    case 0n:
1238      WNil{}
1239    case 1n+p:
1240      match w:
1241        case WCon{b, t}:
1242          WCon{Bool.not(b), Word.not(p, t)}