Method arg

lean_py/z3/core.py:341–346

Return the i-th argument of this expression.

(self, i: int)

        return len(_ast_children(self._ast))

    def arg(self, i: int) -> ExprRef:
        """Return the i-th argument of this expression."""
        children = _ast_children(self._ast)
        if i < 0 or i >= len(children):
            raise IndexError(f"arg index {i} out of range (0..{len(children) - 1})")
        return _child_expr(children[i], self, i)

    def children(self) -> list[ExprRef]:
        """Return list of all children of this expression."""