+
    IV-jà  ã                   ór   € R t ^ RIHtHtHtHt ^ RIHtHtH	t	H
t
HtHtHtHt R.t^ RIHt  ! R R]4      tR# )zæ
pygments.lexers.elpi
~~~~~~~~~~~~~~~~~~~~

Lexer for the `Elpi <http://github.com/LPCIC/elpi>`_ programming language.

:copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
)Ú
RegexLexerÚbygroupsÚincludeÚusing)ÚTextÚCommentÚOperatorÚKeywordÚNameÚStringÚNumberÚPunctuationÚ	ElpiLexer)Ú	RocqLexerc                    ót  € ] tR t^tRtRtRtR.tR.tR.t	Rt
RtR	tR
tRtR] R2tR] R] R] R] R2	tR] R] R] R] R2	tR] R] R] R] R2	tR] ] R] ] R] ] R] R2tRtR] R] R2tR] R] R] R2t/ R]! R4      .bR]! R4      R]! ]P4                  ]P8                  ]P<                  4      R3R]! ]P4                  ]P8                  ]4      R3R] R2]! ]P@                  ]P8                  ]!PD                  4      R 3R!] R2]! ]P@                  ]P8                  ]!PD                  4      R"3R#] R$2]! ]P@                  ]P8                  ]!PD                  4      R%3R&] R'2]! ]P@                  ]P8                  ]!PD                  4      R%3R(] R2]! ]P@                  ]P8                  ]!PD                  4      R%3R)]! ]P@                  ]P8                  ]!PD                  4      R%3R*]! ]P@                  ]P8                  ]P<                  4      R3R+] R2]! ]P@                  ]P8                  ]4      3R,] R-2]! ]P@                  ]P8                  ]4      3R.]! ]P@                  ]P8                  ]!PF                  ]4      3R/] R02]! ]P@                  ]P8                  ]!PD                  4      R13R2] 2]!PF                  3R3] R42]!PF                  3R5]!PF                  3R] R62]P@                  3]]3R7]P@                  3R8]P<                  R3R9]P<                  R:3R;]P<                  R<3R=]R>3R?]R@3RA]RB3RC]$PJ                  3RD]$PL                  3RE]'3.bRRF](3RG](3RH]P8                  3.bRRI]$PJ                  3RJ]RK3.bR%RL]! ]PR                  ]P<                  4      R3RM]PR                  3RN]P4                  3]]PR                  3RO]PR                  3RP]RK3]! R4      .bR1RQ]RR3]! R4      .bRRRS]P@                  3RT]P@                  3RU]RV3]! R4      .bR RW]P4                  3RP]RK3RX]P4                  3]! RY4      RJ]P4                  RK3RA]PR                  RZ3]! R4      ]! RZ4      .bR"]]PR                  3RP]RK3RX]P4                  3RM]P4                  3]! RY4      RJ]P4                  RK3RA]PR                  RZ3]! R4      ]! RZ4      .	bRYR[]! ]P4                  ]P8                  ]P@                  4      R 3R\]! ]P4                  ]P8                  ]P@                  4      R"3.bRZRM]PR                  3]]PR                  3]! RY4      RA]PR                  R]3RJ]PR                  RK3]! R4      .bR:R^]P<                  3R9]P<                  RK3.bR<R_]P<                  3R;]P<                  RK3.bRR`]P<                  3R8]P<                  RK3.bR>Ra]RK3RH]P8                  3Rb]! ]$]4      Rc3Rd] R2]! ]$]!PF                  4      3Re]*! ]+4      3.bRc]! R4      Ra]RK3.bR@R?]R]3Rf]RK3]! R4      .bRBRA]R]3]! R4      RJ]RK3./Ct,Rgt-Rh# )ir   z*
Lexer for the Elpi programming language.
ÚElpizhttp://github.com/LPCIC/elpiÚelpiz*.elpiztext/x-elpiz2.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*)(\()zelpi-indexing-exprz\b(external pred|pred)(\s+)(zelpi-pred-itemz\b(func)(\s+)(zelpi-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+)?)+)zelpi-chr-rule-startz
(?=[A-Z_])z(?=[a-z_])(z|_)\\Ú_z|!|=>|;)z\[|\]|\||=>Ú"Ú`z
elpi-btickz\'z	elpi-tickz\{\{z
elpi-quotez\{[^\{]z
elpi-spillz\(zelpi-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:)(\{\{)zelpi-quote-exitz(lp:)((?=[A-Z_])z((?!lp:|\}\}).)+z\}[^\}]© N).Ú__name__Ú
__module__Ú__qualname__Ú__firstlineno__Ú__doc__ÚnameÚurlÚaliasesÚ	filenamesÚ	mimetypesÚversion_addedÚlcase_reÚucase_reÚdigit_reÚ	schar2_reÚschar_reÚ	idchar_reÚidcharstarns_reÚsymbchar_reÚconstant_reÚ	symbol_reÚ	escape_reÚconst_sym_rer   r   r	   ÚModer   Ú
Whitespacer   ÚDoubler   ÚDeclarationr
   ÚFunctionÚVariabler   ÚIntegerÚFloatr   r   ÚTyper   r   ÚtokensÚ__static_attributes__r   ó    Úe/Volumes/fast/ai/experiments/ui-tars-smoke/.venv/lib/python3.14/site-packages/pygments/lexers/elpi.pyr   r      sY  † ñð €DØ
(€CØˆh€GØ�
€IØ�€IØ€Mà€HØ€HØ€HØ&€IØ�I�;˜hÐ'€HØ�X�J˜a ˜z¨¨8¨*°A°h°Z¸qÐA€IØ˜9˜+ U¨8¨*°A°h°Z¸qÀÀÈ4ÐP€OØ�x�j  ( ¨1¨X¨J°a¸°zÀÐE€KØ�x�j  ¨2¨h¨Z¸Ð7HÈÈ)ÈÐU`ÐTaÐadÐenÐdoÐoqÐr€Kð s€IØ�{�m 1 Y K¨sÐ3€IØ˜�} A i [°°)°¸AÐ>€Lð]ØÙ�F‹Oð
ð]ð
 	Ù�OÓ$à3Ù�g—l‘l D§O¡O°V·]±]ÓCØðð "¡8¨G¯L©L¸$¿/¹/È;Ó#WØ!ð#à,¨\¨N¸!Ð<Ù�g×)Ñ)¨4¯?©?¸D¿M¹MÓJØðð ˜|˜n¨AÐ.Ù�g×)Ñ)¨4¯?©?¸D¿M¹MÓJØðð .¨l¨^¸:ÐFÙ�g×)Ñ)¨4¯?©?¸D¿M¹MÓJØðð   ˜~¨UÐ3Ù�g×)Ñ)¨4¯?©?¸D¿M¹MÓJØðð % \ N°!Ð4Ù�g×)Ñ)¨4¯?©?¸D¿M¹MÓJØðð /Ù�g×)Ñ)¨4¯?©?¸D¿M¹MÓJØðð (Ù�g×)Ñ)¨4¯?©?¸F¿M¹MÓJØðð 5°[°MÀÐCÙ�g×)Ñ)¨4¯?©?¸DÓAðCà! + ¨cÐ2Ù�g×)Ñ)¨4¯?©?¸DÓAðCà=Ù�g×)Ñ)¨4¯?©?¸D¿M¹MÈ4ÓPðRà% l ^°9Ð=Ù�g×)Ñ)¨4¯?©?¸D¿M¹MÓJØ"ð$ð ˜;˜-Ð(¨$¯-©-Ð8Ø˜K˜=¨Ð.°·±Ð>Ø�4—=‘=Ð!Ø�)�˜HÐ% w×':Ñ':Ð;Ø˜$ÐØ˜W×0Ñ0Ð1Ø�6—=‘= -Ð0Ø�6—=‘= ,Ð/Ø�F—M‘M ;Ð/Ø�k <Ð0Ø˜˜|Ð,Ø�KÐ!1Ð2Ø˜&Ÿ.™.Ð)Ø8¸&¿,¹,ÐGØ˜xÐ(ðk6
ð]ðx 	Ø˜7Ð#ØEÀwÐOØ�T—_‘_Ð%ð
ðy]ðB 	Ø˜&Ÿ.™.Ð)Ø�K Ð(ð
ðC]ðJ 	Ø¡¨¯©°v·}±}Ó EÀ}ÐUØ�G—L‘LÐ!Ø�g—l‘lÐ#Ø˜'Ÿ,™,Ð'Ø�w—|‘|Ð$Ø�D˜&Ð!Ù�OÓ$ð
ðK]ð\ 	Ø�K Ð1Ù�OÓ$ð 
ð]]ðd 	Ø˜×,Ñ,Ð-Ø�7×&Ñ&Ð'Ø�; Ð)Ù�6‹?ð	
ðe]ðp 	Ø�w—|‘|Ð$Ø�D˜&Ð!Ø�7—<‘<Ð ÙÐ*Ó+Ø�G—L‘L &Ð)Ø�G—L‘LÐ"3Ð4Ù�OÓ$ÙÐ%Ó&ð	
ðq]ðD 	Ø˜'Ÿ,™,Ð'Ø�D˜&Ð!Ø�7—<‘<Ð Ø�G—L‘LÐ!ÙÐ*Ó+Ø�G—L‘L &Ð)Ø�G—L‘LÐ"3Ð4Ù�OÓ$ÙÐ%Ó&ð

ðE]ðZ 	Ø¡¨'¯,©,°t·±Àw×GZÑGZÓ![Ð]mÐnØ¡¨'¯,©,°t·±Àw×GZÑGZÓ![Ð]mÐnð!
ð[]ðb 	Ø�G—L‘LÐ!Ø˜'Ÿ,™,Ð'ÙÐ*Ó+Ø�G—L‘L 'Ð*Ø�G—L‘L &Ð)Ù�OÓ$ð
ðc]ðt	ð ˜Ÿ™Ð&Ø�6—=‘= &Ð)ð
ðy]ð@ 	Ø˜Ÿ™Ð'Ø�F—M‘M 6Ð*ð
ðA]ðH 	Ø˜Ÿ™Ð&Ø�6—=‘= &Ð)ð
ðI]ðP 	Ø�k 6Ð*Ø�T—_‘_Ð%Ø™X f¨kÓ:Ð<MÐNØ   ¨QÐ/±¸&À$Ç-Á-Ó1PÐQØ ¡%¨	Ó"2Ð3ð
ðQ]ð^ 	Ù�F‹OØ�k 6Ð*ð
ð_]ðf 	Ø˜˜wÐ'Ø˜˜vÐ&Ù�F‹Oð
ðg]ðp 	Ø�K Ð)Ù�F‹OØ�K Ð(ð
ñq]„Fr?   N)r!   Úpygments.lexerr   r   r   r   Úpygments.tokenr   r   r   r	   r
   r   r   r   Ú__all__Úpygments.lexers.theoremr   r   r   r?   r@   Ú<module>rE      s<   ðñ÷ @Ó ?÷÷ ó ð ˆ-€å -ôv�
ö vr?   