Method init_search

lean_py/kernel.py:265–266

(self, sp: str = "")

    # -- env lifecycle ---------------------------------------------------

    def init_search(self, sp: str = "") -> None:
        self._lib.leanpy_kernel_init_search(sp)

    def load(self, modules: Iterable[str]) -> None:
        self._lib.leanpy_kernel_load_env(list(modules))