pyk.kast.utils module

parse_outer(definition_file: str | Path, main_module: str, *, include_dirs: Iterable[str | Path] = (), md_selector: str = 'k', include_source: bool = True) → KDefinition

slurp_definitions(main_file: str | Path, *, include_dirs: Iterable[str | Path] = (), md_selector: str | None = None, include_source: bool = True) → dict[Path, Definition]