(self, other: SeqRef)
| 3884 | super().__init__(ast, sort, vars) |
| 3885 | |
| 3886 | def __add__(self, other: SeqRef) -> SeqRef: |
| 3887 | if not isinstance(other, SeqRef): |
| 3888 | return NotImplemented |
| 3889 | return SeqRef( |
| 3890 | SeqConcatNode(self._ast, other._ast), |
| 3891 | self._sort, # type: ignore[arg-type] |
| 3892 | _merge(self._vars, other._vars), |
| 3893 | ) |
| 3894 | |
| 3895 | def __getitem__(self, idx: ArithRef | int) -> ExprRef: |
| 3896 | if isinstance(idx, int): |
nothing calls this directly
no test coverage detected