pyi matching

This commit is contained in:
2026-01-21 00:43:27 +05:30
parent be8f23c8ab
commit 81e8a8cd49
4 changed files with 8 additions and 9 deletions

View File

@@ -15,15 +15,14 @@ class ResolvedNav:
home: Optional[str]
groups: Dict[str, List[Path]]
_docs_root: Optional[Path]
def __init__(
self,
home: str | None,
groups: Dict[str, List[Path]],
docs_root: Path | None = None,
) -> None:
self._docs_root = None
...
docs_root: Path | None = ...,
) -> None: ...
def all_files(self) -> Iterable[Path]:
"""