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

Class BoolSortRef

lean_py/z3/core.py:174–175  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

172
173
174class BoolSortRef(SortRef):
175 pass
176
177
178class ArithSortRef(SortRef):

Callers 2

BoolSortFunction · 0.85
_sort_from_ast_sortFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected