jmg/gitmirror: This repo contains code to mirror other repos. It also contains the code that is getting mirrored. - lark-stubs/grammar.pyi at c9c33423fca6b7d4b8cc3cbb794e991670d78c0a - gitmirror - Gitea: Git with a cup of tea

This repo contains code to mirror other repos. It also contains the code that is getting mirrored.

15 line

237 B

原始文件 Blame 文件歷史

from typing import Optional, Tuple


class RuleOptions:
    keep_all_tokens: bool
    expand1: bool
    priority: int
    template_source: Optional[str]
    empty_indices: Tuple[bool, ...]


class Symbol:
    name: str
    is_term: bool