Method env_unpickle

lean_py/kernel.py:367–370

(self, path: str)

            raise RuntimeError(f"env pickle failed: {err}")

    def env_unpickle(self, path: str) -> None:
        err = self._lib.leanpy_kernel_env_unpickle(str(path))
        if err:
            raise RuntimeError(f"env unpickle failed: {err}")

    # -- frontend --------------------------------------------------------