Method __repr__

lean_py/z3/core.py:129–130

(self)

        self._ast_sort = ast_sort

    def __repr__(self) -> str:
        return _sort_repr(self._ast_sort)

    def __eq__(self, other: object) -> bool:
        return isinstance(other, SortRef) and self._ast_sort == other._ast_sort