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

Function BoolSort

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

Source from the content-addressed store, hash-verified

216
217
218def BoolSort() -> BoolSortRef:
219 return BoolSortRef(PropSort())
220
221
222def IntSort() -> ArithSortRef:

Callers 15

resolve_sortMethod · 0.90
test_function_bool_rangeMethod · 0.90
test_socrates_syllogismMethod · 0.90
test_sort_equalityMethod · 0.90
test_sort_reprMethod · 0.90
test_expression_sortMethod · 0.90
test_consts_boolMethod · 0.90
test_is_sortMethod · 0.90
test_nameMethod · 0.90
test_arityMethod · 0.90
test_domainMethod · 0.90
test_rangeMethod · 0.90

Calls 2

PropSortClass · 0.90
BoolSortRefClass · 0.85

Tested by 15

test_function_bool_rangeMethod · 0.72
test_socrates_syllogismMethod · 0.72
test_sort_equalityMethod · 0.72
test_sort_reprMethod · 0.72
test_expression_sortMethod · 0.72
test_consts_boolMethod · 0.72
test_is_sortMethod · 0.72
test_nameMethod · 0.72
test_arityMethod · 0.72
test_domainMethod · 0.72
test_rangeMethod · 0.72
test_domain_out_of_rangeMethod · 0.72