Method arity

lean_py/z3/core.py:940–942

Return the number of arguments.

(self)

        return self._name

    def arity(self) -> int:
        """Return the number of arguments."""
        return len(self._domain)

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