jmg/gitmirror: This repo contains code to mirror other repos. It also contains the code that is getting mirrored. - lark-stubs/grammar.pyi at e0889a3cf3cd4de596647eee6859eb6667cfc422 - 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 lines

237 B

Raw 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