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

Class LambdaNode

lean_py/z3/_ast.py:288–291  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

286
287@dataclass(frozen=True)
288class LambdaNode:
289 name: str
290 sort: ASTSort
291 body: ASTNode
292
293
294# ---------------------------------------------------------------------------

Callers 2

_substitute_astFunction · 0.90
LambdaFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected