Method var_sort

lean_py/z3/core.py:846–848

Return the sort of the i-th bound variable.

(self, i: int)

        return str(v._ast)

    def var_sort(self, i: int) -> SortRef:
        """Return the sort of the i-th bound variable."""
        return self._bound[i]._sort

    def weight(self) -> int:
        """Return quantifier weight (default 0)."""