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

Class StringASTSort

lean_py/z3/_ast.py:60–61  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

58
59@dataclass(frozen=True)
60class StringASTSort:
61 pass
62
63
64@dataclass(frozen=True)

Callers 3

StringSortFunction · 0.90
StringFunction · 0.90
__init__Method · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected