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

Method __init__

lean_py/kernel.py:260–261  ·  view source on GitHub ↗
(self, lib: Any)

Source from the content-addressed store, hash-verified

258 """
259
260 def __init__(self, lib: Any) -> None:
261 self._lib = lib
262
263 # -- env lifecycle ---------------------------------------------------
264

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected