+ 4UirRt^RIHtHtHtHt^RIHtHtH t H t H t H t H t HtR.t^RIHt!RR]4tR#)z pygments.lexers.elpi ~~~~~~~~~~~~~~~~~~~~ Lexer for the `Elpi `_ programming language. :copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerbygroupsincludeusing)TextCommentOperatorKeywordNameStringNumber Punctuation ElpiLexer)CoqLexercF ]tRt^tRtRtRtR.tR.tR.t Rt Rt R t R t R tR ] R 2tR ] R] R] R] R2 tR ] R] R] R] R2 tR ] R] R] R] R2 tR ] ] R] ] R] ] R] R2 tRtR] R] R2tR ] R] R] R2t/R]!R4.bR]!R4R]!]P4]P8]P<4R3R]!]P4]P8]4R3R] R2]!]P@]P8]!PD4R 3R!] R"2]!]P@]P8]!PD4R#3R$] R%2]!]P@]P8]!PD4R#3R&] R2]!]P@]P8]!PD4R#3R']!]P@]P8]!PD4R#3R(]!]P@]P8]P<4R3R)] R2]!]P@]P8]43R*] R+2]!]P@]P8]43R,]!]P@]P8]!PF]43R-] R.2]!]P@]P8]!PD4R/3R0] 2]!PF3R1] R22]!PF3R3]!PF3R ] R42]P@3]]3R5]P@3R6]P<R3R7]P<R83R9]P<R:3R;]R<3R=]R>3R?]R@3RA]$PJ3RB]$PL3RC]'3.bRRD](3RE](3RF]P83.bRRG]$PJ3RH]RI3.bR#RJ]!]PR]P<4R3RK]PR3]]PR3RL]PR3RM]RI3]!R4.bR/RN]RO3]!R4.bRORP]P@3RQ]P@3RR]RS3]!R4.bR RT]P4RU3RM]RI3]!R4.bRURJ]!]PR]P<4R3RK]PR3]]PR3RL]PR3RV]RI3RM]RS3]!R4.bR8RW]P<3R7]P<RI3.bR:RX]P<3R9]P<RI3.bRRY]P<3R6]P<RI3.bRR=]R_3R`]RI3]!R4.bR@R?]R_3]!R4RH]RI3.bt,Rat-Rb#)crz* Lexer for the Elpi programming language. Elpizhttp://github.com/LPCIC/elpielpiz*.elpiz text/x-elpiz2.11z[a-z]z[A-Z]z[0-9]z([+*^?/<>`'@#~=&!])(z|-|\$|_)|)z*(\.(z*)*)z|:)z*|z*|_z+)z(,|<=>|->|:-|;|\?-|->|&|=>|\bas\b|\buvar\b|<|=<|=|==|>=|>|\bi<|\bi=<|\bi>=|\bi>|\bis\b|\br<|\br=<|\br>=|\br>|\bs<|\bs=<|\bs>=|\bs>|@|::|\[\]|`->|`:|`:=|\^|-|\+|\bi-|\bi\+|r-|r\+|/|\*|\bdiv\b|\bi\*|\bmod\b|\br\*|~|\bi~|\br~)z\((z)\)rootz _elpi-commentz#(:before|:after|:if|:name)(\s*)(\")z elpi-stringz(:index)(\s*)(\()zelpi-indexing-exprz\b(external pred|pred)(\s+)(zelpi-pred-itemz\b(external type|type)(\s+)((z (,\s*)?)+)z elpi-typez\b(kind)(\s+)((z|,)+)z\b(typeabbrev)(\s+)(z\b(typeabbrev)(\s+)(\([^)]+\))z\b(accumulate)(\s+)(\")z$\b(accumulate|namespace|local)(\s+)(z\b(shorten)(\s+)(z\.)z-\b(pi|sigma)(\s+)([a-zA-Z][A-Za-z0-9_ ]*)(\\)z\b(constraint)(\s+)((z (\s+)?)+)zelpi-chr-rule-startz (?=[A-Z_])z (?=[a-z_])(z|_)\\_z|!|=>|;)z \[|\]|\||=>"`z elpi-btickz\'z elpi-tickz\{\{z elpi-quotez\{[^\{]z elpi-spillz\(zelpi-in-parensz\d[\d_]*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z [\+\*\-/\^\.]z %[^\n]*\nz5/(?:\\\n)?[*](?:[^*]|[*](?!(?:\\\n)?/))*[*](?:\\\n)?/z\s+z[0-9 _]+z\)z#popz(ctype\s+)(\")z->z\(|\)z\.z\{z elpi-chr-rulez\brule\bz\\z\}z#pop:2z[io]:z elpi-ctype,z[^` ]+z[^\' ]+z[^\"]+z\}\}z (lp:)(\{\{)zelpi-quote-exitz(lp:)((?=[A-Z_])z((?!lp:|\}\}).)+z#pushz\}[^\}]N).__name__ __module__ __qualname____firstlineno____doc__nameurlaliases filenames mimetypes version_addedlcase_reucase_redigit_re schar2_reschar_re idchar_reidcharstarns_re symbchar_re constant_re symbol_re escape_re const_sym_rerrr Moder Whitespacer Doubler Declarationr FunctionVariabler IntegerFloatrrTyperrtokens__static_attributes__r6/usr/lib/python3/dist-packages/pygments/lexers/elpi.pyrrs( D (ChG IIMHHH&II;h'HXJaz8*AhZqAI9+U8*AhZq 4POxj(1XJazEKxj 2hZ7H)U`TaadendooqrKsI{m1YKs3I }Ai[)A>LC FO C  O $ 3 gllDOOV]] C  "8GLL$//;#W ! #,\N! < g))4??DMM J  .l^: F g))4??DMM J   ~U 3 g))4??DMM J  %\N! 4 g))4??DMM J  / g))4??DMM J  ( g))4??FMM J  5[M C g))4??D A C!+c 2 g))4??D A C = g))4??DMM4 P R%l^9 = g))4??DMM J " $;- ($-- 8K= . > 4== !)H %w':': ; $  W00 1 6==- 0 6==, / FMM; / k< 0 | , K!1 2 &.. ) 8&,, G x (e3 Cr  7 # Ew O T__ % sC|  &.. ) K ( }CD  v}} E} U GLL ! ',, ' w|| $ D& ! O $  ECT  K 1 O $ UC\  ,, - 7&& ' ; ) 6?  ]Ch  w||\ 2 D& ! O $ iCr  v}} E} U GLL ! ',, ' w|| $ 4 D( # O $ sCD   & 6==& ) ECL   ' FMM6 * MCT   & 6==& ) UC\  k6 * T__ % Xfk:N)r pygments.lexerrrrrpygments.tokenrrrr r r r r __all__pygments.lexers.theoremrrrr>r?rDs<@? -,\ \r>