Method name

lean_py/z3/core.py:138–140

Return sort name as string (z3py compat).

(self)

        return hash(self._ast_sort)

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

    def kind(self) -> int:
        """Return sort kind as integer (z3py compat).