Function is_app

lean_py/z3/core.py:2556–2558

True if a is a function application.

(a: object)

def is_app(a: object) -> bool:
    """True if a is a function application."""
    return isinstance(a, ExprRef) and isinstance(a._ast, AppNode)


def is_func_decl(a: object) -> bool: