Method env_pickle

lean_py/kernel.py:362–365

(self, path: str)

    # -- environment serialisation ---------------------------------------

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

    def env_unpickle(self, path: str) -> None:
        err = self._lib.leanpy_kernel_env_unpickle(str(path))