MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / AppNode

Class AppNode

lean_py/z3/_ast.py:223–225  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

221
222@dataclass(frozen=True)
223class AppNode:
224 func: ASTNode
225 args: tuple[ASTNode, ...]
226
227
228@dataclass(frozen=True)

Callers 15

__call__Method · 0.90
_substitute_astFunction · 0.90
fpToRealFunction · 0.90
fpToSBVFunction · 0.90
fpToUBVFunction · 0.90
fpToFPFunction · 0.90
fpBVToFPFunction · 0.90
fpFPToFPFunction · 0.90
fpRealToFPFunction · 0.90
fpSignedToFPFunction · 0.90
fpUnsignedToFPFunction · 0.90
fpToIEEEBVFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected