def Word.xor

Base · base.bend:1262

1262def Word.xor(n: Nat, a: Word(n), b: Word(n)) -> Word(n):
1263  match n:
1264    case 0n:
1265      WNil{}
1266    case 1n+p:
1267      match a b:
1268        case WCon{ab, at} WCon{bb, bt}:
1269          WCon{Bool.xor(ab, bb), Word.xor(p, at, bt)}