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

Class CharSortRef

lean_py/z3/core.py:3783–3786  ·  view source on GitHub ↗

Character sort.

Source from the content-addressed store, hash-verified

3781
3782
3783class CharSortRef(SortRef):
3784 """Character sort."""
3785
3786 pass
3787
3788
3789class CharRef(ExprRef):

Callers 3

_sort_from_ast_sortFunction · 0.85
__init__Method · 0.85
CharSortFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected