XipSrSSKJrJrJrJr SSKJrJrJ r J r J r J r J r Jr S/rSSKJr "SS\5rg)z pygments.lexers.elpi ~~~~~~~~~~~~~~~~~~~~ Lexer for the `Elpi `_ programming language. :copyright: Copyright 2006-present by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerbygroupsincludeusing)TextCommentOperatorKeywordNameStringNumber Punctuation ElpiLexer) RocqLexerc r \rSrSrSrSrSrS/rS/rS/r Sr S r S r S r S rS \S3rS \ S\ S\ S\S3 rS \S\ S\ S\S3 rS \ S\ S\ S\S3 rS \ \S\ \S\\S\S3 rSrS\S\S3rS \S\S\S3r0S\"S5/_S\"S5S\"\R4\R8\R<5S4S\"\R4\R8\5S4S \S3\"\R@\R8\!RD5S!4S"\S3\"\R@\R8\!RD5S#4S$\S%3\"\R@\R8\!RD5S&4S'\S(3\"\R@\R8\!RD5S&4S)\S3\"\R@\R8\!RD5S&4S*\"\R@\R8\!RD5S&4S+\"\R@\R8\R<5S4S,\S3\"\R@\R8\54S-\S.3\"\R@\R8\54S/\"\R@\R8\!RF\54S0\S13\"\R@\R8\!RD5S24S3\3\!RF4S4\S53\!RF4S6\!RF4S \S73\R@4\\4S8\R@4S9\R<S4S:\R<S;4S<\R<S=4S>\S?4S@\SA4SB\SC4SD\$RJ4SE\$RL4SF\'4/_SSG\(4SH\(4SI\R84/_SSJ\$RJ4SK\SL4/_S&SM\"\RR\R<5S4SN\RR4SO\R44\\RR4SP\RR4SQ\SL4\"S5/_S2SR\SS4\"S5/_SSST\R@4SU\R@4SV\SW4\"S5/_S!SX\R44SQ\SL4SY\R44\"SZ5SK\R4SL4SB\RRS[4\"S5\"S[5/_S#\\RR4SQ\SL4SY\R44SN\R44\"SZ5SK\R4SL4SB\RRS[4\"S5\"S[5/ _SZS\\"\R4\R8\R@5S!4S]\"\R4\R8\R@5S#4/_S[SN\RR4\\RR4\"SZ5SB\RRS^4SK\RRSL4\"S5/_S;S_\R<4S:\R<SL4/_S=S`\R<4S<\R<SL4/_SSa\R<4S9\R<SL4/_S?Sb\SL4SI\R84Sc\"\$\5Sd4Se\S3\"\$\!RF54Sf\*"\+54/_Sd\"S5Sb\SL4/_SAS@\S^4Sg\SL4\"S5/_SCSB\S^4\"S5SK\SL4/0Er,Shr-gi)jrz* 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(func)(\s+)(zelpi-func-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->propz\(|\)z\.z\{z elpi-chr-rulez\brule\bz\\z\}z#pop:2z[io]:,z_elpi-inner-pred-funz_elpi-type-itemz(\()(\s*)(pred)z(\()(\s*)(func)z#pushz[^` ]+z[^\' ]+z[^\"]+z\}\}z (lp:)(\{\{)zelpi-quote-exitz(lp:)((?=[A-Z_])z((?!lp:|\}\}).)+z\}[^\}]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 IntegerFloatr rTyperrtokens__static_attributes__rG/var/www/html/venv/lib/python3.13/site-packages/pygments/lexers/elpi.pyrrsY D (ChG IIMHHH&II;h'HXJaz8*AhZqAI9+U8*AhZq 4POxj(1XJazEKxj 2hZ7H)U`TaadendooqrKsI{m1YKs3I }Ai[)A>L] FO ]  O $ 3 gllDOOV]] C  "8GLL$//;#W ! #,\N! < g))4??DMM J  |nA . 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 (k6 ]x  7 # Ew O T__ % y]B  &.. ) K ( C]J  v}} E} U GLL ! gll # ',, ' w|| $ D& ! O $ K]\  K 1 O $ ]]d  ,, - 7&& ' ; ) 6?  e]p  w|| $ D& ! 7<< * + GLL& ) GLL"3 4 O $ % &  q]D  ',, ' D& ! 7<< GLL ! * + GLL& ) GLL"3 4 O $ % &  E]Z  ',,twGZGZ![]m n ',,twGZGZ![]m n! []b  GLL ! ',, ' * + GLL' * GLL& ) O $  c]t  & 6==& ) y]@   ' FMM6 * A]H   & 6==& ) I]P  k6 * T__ % Xfk:rGs<@? --v vrA