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

Method __repr__

lean_py/z3/core.py:952–953  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

950 return self._range
951
952 def __repr__(self) -> str:
953 return f"{self._name} : {_sort_repr(self._ast_sort)}"
954
955
956class _InductiveCtorDecl(FuncDeclRef):

Callers

nothing calls this directly

Calls 1

_sort_reprFunction · 0.85

Tested by

no test coverage detected