Method __hash__

lean_py/z3/core.py:135–136

(self)

        return isinstance(other, SortRef) and self._ast_sort == other._ast_sort

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

    def name(self) -> str:
        """Return sort name as string (z3py compat)."""