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

Class UninterpretedSortRef

lean_py/z3/core.py:182–185  ·  view source on GitHub ↗

Declared via ``DeclareSort``.

Source from the content-addressed store, hash-verified

180
181
182class UninterpretedSortRef(SortRef):
183 """Declared via ``DeclareSort``."""
184
185 pass
186
187
188class DatatypeSortRef(SortRef):

Callers 2

DeclareSortFunction · 0.85
_sort_from_ast_sortFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected