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

Class ReSort

lean_py/z3/core.py:2364–2367  ·  view source on GitHub ↗

Regex sort (opaque — for type tagging only).

Source from the content-addressed store, hash-verified

2362
2363
2364class ReSort(SortRef):
2365 """Regex sort (opaque — for type tagging only)."""
2366
2367 pass
2368
2369
2370class ReRef(ExprRef):

Callers 1

__init__Method · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected