def Word.or

Base · base.bend:1253

1253def Word.or(n: Nat, a: Word(n), b: Word(n)) -> Word(n):
1254  match n:
1255    case 0n:
1256      WNil{}
1257    case 1n+p:
1258      match a b:
1259        case WCon{ab, at} WCon{bb, bt}:
1260          WCon{Bool.or(ab, bb), Word.or(p, at, bt)}