Lines Matching refs:compile

31 COMMENT_RE   = re.compile(r"::.*?$", re.M)
32 THEOREM_RE   = re.compile(r"\btheorem\b(?:\s+([A-Za-z0-9_]+)\s*:)?", re.I)
33 DEF_HDR_RE   = re.compile(r"\bdefinition\b(?:\s+([A-Za-z0-9_]+)\s*:)?", re.I)
36 INLINE_HEAD_RE = re.compile(r"^[ \t]*:?\s*((?:Def|Lm)\d+)\s*:", re.I | re.M)
39 INLINE_INLINE_RE = re.compile(r":\s*((?:Def|Lm)\d+)\s*:", re.I)
41 BY_RE   = re.compile(r"\bby\s+([^;]+);",   re.I | re.S)
42 FROM_RE = re.compile(r"\bfrom\s+([^;]+);", re.I | re.S)
45 LABEL_RE = re.compile(
50 FOLD_RE     = re.compile(r"^[A-Z](\d+)?$")          # A, A1 …（吸収対象）
51 INTERNAL_RE = re.compile(r"^(?:Th\d+|Th_auto\d+|Def\d+|Def_auto\d+|Lm\d+)$")
52 EXT_ART_RE  = re.compile(r"^[A-Z][A-Z0-9_]*$")