(self)
| 685 | return _coerce_bv(other, self._sort)._binop(BinOp.BXOR, self) |
| 686 | |
| 687 | def __invert__(self) -> BitVecRef: |
| 688 | return BitVecRef( |
| 689 | UnOpNode(UnOp.BNOT, self._ast), |
| 690 | self._sort, # type: ignore[arg-type] |
| 691 | self._vars, |
| 692 | ) |
| 693 | |
| 694 | def __lshift__(self, other: BitVecRef | int) -> BitVecRef: |
| 695 | return self._binop(BinOp.BSHL, other) |