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

Class ReLoopNode

lean_py/z3/_ast.py:414–417  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

412
413@dataclass(frozen=True)
414class ReLoopNode:
415 arg: ASTNode
416 lo: int
417 hi: int
418
419
420@dataclass(frozen=True)

Callers 2

_substitute_astFunction · 0.90
LoopFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected