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

Class SeqNthNode

lean_py/z3/_ast.py:545–547  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

543
544@dataclass(frozen=True)
545class SeqNthNode:
546 s: ASTNode
547 idx: ASTNode
548
549
550ASTNode = (

Callers 1

__getitem__Method · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected