Function RecAddDefinition

lean_py/z3/core.py:4040–4042

Add definition to a recursive function.

(f: FuncDeclRef, args: list[ExprRef], body: ExprRef)

def RecAddDefinition(f: FuncDeclRef, args: list[ExprRef], body: ExprRef) -> None:
    """Add definition to a recursive function."""
    _rec_definitions[f._name] = (args, body)


# ---------------------------------------------------------------------------