&g`SrSSKJrJrJr SSKJrJrJrJ r J r J r J r J r S/r"SS\5rg)z pygments.lexers.elpi ~~~~~~~~~~~~~~~~~~~~ Lexer for the `Elpi `_ programming language. :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerbygroupsinclude)TextCommentOperatorKeywordNameStringNumber Punctuation ElpiLexerc \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\R85S4S \S3\"\R>\R8\ RB5S!4S"\S#3\"\R>\R8\ RB5S$4S%\S&3\"\R>\R8\ RB5S$4S'\S3\"\R>\R8\ RB5S$4S(\"\R>\R8\R<5S4S)\S3\"\R>\R8\54S*\S+3\"\R>\R8\54S,\"\R>\R8\ RD\54S-\S.3\"\R>\R8\ RB5S/4S0\3\ RD4S1\S23\ RD4S3\ RD4S \S43\R>4\\4S5\R>4S6\R<S4S7\R<S84S9\R<S:4S;\#S<4S=\S>4S?\S@4SA\$RJ4SB\$RL4SC\'4/_SSD\(4SE\(SF4SG\R84/_SFSH\(SI4SJ\(4/_SSK\$RJ4SL\SI4/_S$SM\"\RR\R<5S4SN\RR4\\RR4SO\RR4SP\SI4\"S5/_S/SQ\SR4\"S5/_SRSS\R>4S2\R>4ST\SU4\"S5/_S!SV\R4SW4SP\SI4\"S5/_SWSM\"\RR\R<5S4SN\RR4\\RR4SO\RR4SX\SI4SP\SU4\"S5/_S8SY\R<4S7\R<SI4/_S:SZ\R<4S9\R<SI4/_SS[\R<4S6\R<SI4/_SS=\S\4Sa\SI4\"S5/_S@S?\'S\4SL\'SI4\"S5/_r*Sbr+gc)drz* 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(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]*\nz/\*zelpi-multiline-commentz\s+z\*/z#pop.z[0-9 _]+z\)z(ctype\s+)(\")z->z\(|\)z\.z\{z elpi-chr-rulez\brule\bz\}z#pop:2z[io]:z elpi-ctype,z[^` ]+z[^\' ]+z[^\"]+z#pushz\}\}z(lp:)((?=[A-Z_])z[^l\}]+zl|\}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 Double Declarationr FunctionVariabler r IntegerFloatrrTypetokens__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>LA FO A  O $ 3 gllDOOV]] C   ',,!H ! #,\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??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 " $;- ($-- 8;-r *DMM : 4== !)H %w':': ; $  W00 1 6==- 0 6==, / FMM; / k< 0 | , D* + &.. ) 8&,, G x (_0 Al  7 # W6 7 T__ % mAv ! Wf % 7O# wA~  &.. ) D& ! AF  v}} E} U GLL ! ',, ' w|| $ D& ! O $  GAV  D/ * O $ WA^  ,, - 7&& ' 4 " 6?  _Aj  w||\ 2 D& ! O $ kAt  v}} E} U GLL ! ',, ' w|| $ 4 D( # O $ uAF   & 6==& ) GAN   ' FMM6 * OAV   & 6==& ) WA^  k7 + k6 *  Q /'4==1Q R   dO  _Al  w ' v & FO mAv  Hg & Hf % FO wAFr?N)r!pygments.lexerrrrpygments.tokenrrrr r r r r __all__rrr?r@rDs898 -Z Zr?