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

Function StringSort

lean_py/z3/core.py:2269–2270  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

2267
2268
2269def StringSort() -> StringSortRef:
2270 return StringSortRef(StringASTSort())
2271
2272
2273def String(name: str) -> StringRef:

Callers 9

test_const_string_sortMethod · 0.90
test_sort_reprMethod · 0.90
test_string_sort_nameMethod · 0.90
test_sort_kind_stringMethod · 0.90
test_empty_stringMethod · 0.90
test_string_sortMethod · 0.90
test_const_with_string_sortMethod · 0.90
__init__Method · 0.85
SeqSortFunction · 0.85

Calls 2

StringASTSortClass · 0.90
StringSortRefClass · 0.85

Tested by 7

test_const_string_sortMethod · 0.72
test_sort_reprMethod · 0.72
test_string_sort_nameMethod · 0.72
test_sort_kind_stringMethod · 0.72
test_empty_stringMethod · 0.72
test_string_sortMethod · 0.72
test_const_with_string_sortMethod · 0.72