Method decl

lean_py/z3/core.py:352–355

Return the function declaration for this expression.

(self)

        return [_child_expr(c, self, i) for i, c in enumerate(_ast_children(self._ast))]

    def decl(self) -> FuncDeclRef:
        """Return the function declaration for this expression."""
        name = _ast_decl_name(self._ast)
        return FuncDeclRef(name, (), self._sort)

    def sexpr(self) -> str:
        """Return S-expression representation."""