Method __add__

lean_py/z3/core.py:2257–2263

(self, other: StringRef)

        super().__init__(ast, StringSort(), vars)

    def __add__(self, other: StringRef) -> StringRef:
        if isinstance(other, str):
            other = StringVal(other)
        return StringRef(
            StrConcatNode(self._ast, other._ast),
            _merge(self._vars, other._vars),
        )

    def __radd__(self, other: str) -> StringRef:
        return StringVal(other) + self