Method domain

lean_py/z3/core.py:944–946

Return the sort of the i-th argument.

(self, i: int)

        return len(self._domain)

    def domain(self, i: int) -> SortRef:
        """Return the sort of the i-th argument."""
        return self._domain[i]

    def range(self) -> SortRef:
        """Return the range (return) sort."""