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

Method __repr__

lean_py/z3/solver.py:1062–1063  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

1060 return self._data.get(key, 0)
1061
1062 def __repr__(self) -> str:
1063 return repr(self._data)
1064
1065
1066# ---------------------------------------------------------------------------

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected