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

Class StringSortRef

lean_py/z3/core.py:2239–2242  ·  view source on GitHub ↗

String sort.

Source from the content-addressed store, hash-verified

2237
2238
2239class StringSortRef(SortRef):
2240 """String sort."""
2241
2242 pass
2243
2244
2245class StringRef(ExprRef):

Callers 2

StringSortFunction · 0.85
_sort_from_ast_sortFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected