def Word.and

Base · base.bend:1244

1244def Word.and(n: Nat, a: Word(n), b: Word(n)) -> Word(n):
1245  match n:
1246    case 0n:
1247      WNil{}
1248    case 1n+p:
1249      match a b:
1250        case WCon{ab, at} WCon{bb, bt}:
1251          WCon{Bool.and(ab, bb), Word.and(p, at, bt)}