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

Class SeqLenNode

lean_py/z3/_ast.py:516–517  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

514
515@dataclass(frozen=True)
516class SeqLenNode:
517 arg: ASTNode
518
519
520@dataclass(frozen=True)

Callers 1

LengthFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected