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

Method __repr__

lean_py/library.py:553–554  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

551 types_sym = f"{self.name}_types_json"
552 funcs_json = self._call_string_export(funcs_sym)
553 types_json = self._call_string_export(types_sym)
554 return LibraryRegistry.from_json_strings(funcs_json, types_json)
555
556 def _call_string_export(self, name: str) -> str:
557 try:

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected