Method find_source_path

lean_py/kernel.py:374–379

Locate the ``.lean`` source file for ``module_name``.

(self, module_name: str)

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

    def find_source_path(self, module_name: str) -> str:
        """Locate the ``.lean`` source file for ``module_name``."""
        s = self._lib.leanpy_kernel_frontend_find_source_path(module_name)
        if s.startswith("<error:"):
            raise RuntimeError(s)
        return s

    def process(self, source: str) -> str:
        """Process Lean source code against the current environment.