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

Class SeqEmptyNode

lean_py/z3/_ast.py:506–507  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

504
505@dataclass(frozen=True)
506class SeqEmptyNode:
507 elem_sort: ASTSort
508
509
510@dataclass(frozen=True)

Callers 1

EmptyFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected