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

Method __init__

lean_py/kernel.py:76–78  ·  view source on GitHub ↗
(self, kernel: Kernel, handle: Any)

Source from the content-addressed store, hash-verified

74 __slots__ = ("_kernel", "_handle")
75
76 def __init__(self, kernel: Kernel, handle: Any) -> None:
77 self._kernel = kernel
78 self._handle = handle
79
80 @property
81 def handle(self) -> Any:

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected