(
self,
ast: ASTNode,
vars: frozenset[tuple[str, ASTSort]] = frozenset(),
)
| 2248 | __slots__ = () |
| 2249 | |
| 2250 | def __init__( |
| 2251 | self, |
| 2252 | ast: ASTNode, |
| 2253 | vars: frozenset[tuple[str, ASTSort]] = frozenset(), |
| 2254 | ) -> None: |
| 2255 | super().__init__(ast, StringSort(), vars) |
| 2256 | |
| 2257 | def __add__(self, other: StringRef) -> StringRef: |
| 2258 | if isinstance(other, str): |
nothing calls this directly
no test coverage detected