Method num_args

lean_py/z3/core.py:337–339

Number of arguments (children) of this expression.

(self)

        raise TypeError("Symbolic expressions cannot be cast to concrete Boolean values")

    def num_args(self) -> int:
        """Number of arguments (children) of this expression."""
        return len(_ast_children(self._ast))

    def arg(self, i: int) -> ExprRef:
        """Return the i-th argument of this expression."""