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

Function NatSort

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

Source from the content-addressed store, hash-verified

224
225
226def NatSort() -> ArithSortRef:
227 return ArithSortRef(NatASTSort())
228
229
230def RealSort() -> ArithSortRef:

Callers 5

test_sort_reprMethod · 0.90
test_nat_varMethod · 0.90
NatFunction · 0.85
NatValFunction · 0.85
_child_exprFunction · 0.85

Calls 2

NatASTSortClass · 0.90
ArithSortRefClass · 0.85

Tested by 2

test_sort_reprMethod · 0.72
test_nat_varMethod · 0.72