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

Class StoreNode

lean_py/z3/_ast.py:240–243  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

238
239@dataclass(frozen=True)
240class StoreNode:
241 arr: ASTNode
242 idx: ASTNode
243 val: ASTNode
244
245
246@dataclass(frozen=True)

Callers 2

StoreFunction · 0.90
_substitute_astFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected