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

Class PropSort

lean_py/z3/_ast.py:17–18  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

15
16@dataclass(frozen=True)
17class PropSort:
18 pass
19
20
21@dataclass(frozen=True)

Callers 2

BoolSortFunction · 0.90
BoolFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected