Method __eq__

lean_py/z3/core.py:132–133

(self, other: object)

        return _sort_repr(self._ast_sort)

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

    def __hash__(self) -> int:
        return hash(self._ast_sort)