ServerSync/lib/pygments/lexers/__pycache__/elpi.cpython-314.pyc

+
<00><0C>i<EFBFBD><00><00>r<00>Rt^R
I
HtHtHtHt^RIHtHtH	t	H
t
HtHtH
t
HtR.
t^RIHt!RR]4tR#)z<>
pygments.lexers.elpi
~~~~~~~~~~~~~~~~~~~~

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

:copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
)<04>
RegexLexer<EFBFBD>bygroups<70>include<64>using)<08>Text<78>Comment<6E>Operator<6F>Keyword<72>Name<6D>String<6E>Number<65>Punctuation<6F>	ElpiLexer)
<01>CoqLexerc<00>F
<00>]t
Rt^tR
tRtRtR.
tR.
tR.
t	Rt
RtR	tR
t
RtR]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
.
b
R]!R4
R]!]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.b
RRD](3RE](3RF]P83.b
RRG]$PJ3RH]RI3.b
R#RJ]!]PR]P<4R3RK]PR3]]PR3RL]PR3RM]RI3]!R4
.b
R/RN]RO3]!R4
.b
RORP]P@3RQ]P@3RR]RS3]!R4
.b
R RT]P4RU3RM]RI3]!R4
.b
RURJ]!]PR]P<4R3RK]PR3]]PR3RL]PR3RV]RI3RM]RS3]!R4
.b
R8RW]P<3R7]P<RI3.b
R:RX]P<3R9]P<RI3.b
RRY]P<3R6]P<RI3.b
R<RZ]RI3RF]P83R[]!]$]4R\3R]]R2]!]$]!PF43R^]*!]+4
3.b
R\]!R4
RZ]RI3.b
R>R=]R_3R`]RI3]!R4
.b
R@R?]R_3]!R4
RH]RI3.b
t,Rat-Rb#)crz*
Lexer for the Elpi programming language.
<EFBFBD>Elpizhttp://github.com/LPCIC/elpi<70>elpiz*.elpiztext/x-elpiz2.11z[a-z]z[A-Z]z[0-9]z([+*^?/<>`'@#~=&!])<29>
(z|-|\$|_)<29>
|<7C>
)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)\)<29>rootz
_elpi-commentz#(:before|:after|:if|:name)(\s*)(\")zelpi-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|_)\\<5C>
_z|!|=>|;)z\[|\]|\||=><3E>
"<22>
`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<70>
,z[^` ]+z[^\' ]+z[^\"]+z\}\}z(lp:)(\{\{)zelpi-quote-exitz(lp:)((?=[A-Z_])z((?!lp:|\}\}).)+z#pushz\}[^\}]<5D>N).<2E>__name__<5F>
__module__<EFBFBD>__qualname__<5F>__firstlineno__<5F>__doc__<5F>name<6D>url<72>aliases<65>	filenames<65>	mimetypes<65>
version_added<65>lcase_re<72>ucase_re<72>digit_re<72>	schar2_re<72>schar_re<72>	idchar_re<72>idcharstarns_re<72>symbchar_re<72>constant_re<72>	symbol_re<72>	escape_re<72>const_sym_rerrr	<00>Moder<00>
Whitespacer<00>Doubler
<00>Declarationr
<00>Function<6F>Variabler<00>Integer<65>Floatrr<00>Typerr<00>tokens<6E>__static_attributes__r<00><00>;/tmp/pip-target-qd_sq_1j/lib/python/pygments/lexers/elpi.pyrrs(<00><00><08><12>D<EFBFBD>
(<28>C<EFBFBD><15>h<EFBFBD>G<EFBFBD><19>
<EFBFBD>I<EFBFBD><1E><0F>I<EFBFBD><1A>M<EFBFBD><17>H<EFBFBD><17>H<EFBFBD><17>H<EFBFBD>&<26>I<EFBFBD><13>I<EFBFBD>;<3B>h<EFBFBD>'<27>H<EFBFBD><14>X<EFBFBD>J<EFBFBD>a<EFBFBD><08>z<EFBFBD><11>8<EFBFBD>*<2A>A<EFBFBD>h<EFBFBD>Z<EFBFBD>q<EFBFBD>A<>I<EFBFBD><1A>9<EFBFBD>+<2B>U<EFBFBD>8<EFBFBD>*<2A>A<EFBFBD>h<EFBFBD>Z<EFBFBD>q<EFBFBD><19><0B>4<EFBFBD>P<>O<EFBFBD><16>x<EFBFBD>j<EFBFBD>
<01>(<28><1A>1<EFBFBD>X<EFBFBD>J<EFBFBD>a<EFBFBD><08>z<EFBFBD><13>E<>K<EFBFBD><16>x<EFBFBD>j<EFBFBD><19><0B>2<EFBFBD>h<EFBFBD>Z<EFBFBD><0F>7H<37>
<01>)<29><1B>U`<60>Ta<54>ad<61>en<65>do<64>oq<6F>r<>K<EFBFBD>s<03>I<EFBFBD><16>{<7B>m<EFBFBD>1<EFBFBD>Y<EFBFBD>K<EFBFBD>s<EFBFBD>3<>I<EFBFBD><17><0B>}<7D>A<EFBFBD>i<EFBFBD>[<5B>
<01>)<29><1B>A<EFBFBD>><3E>L<EFBFBD>C<06><0E><13>F<EFBFBD>O<EFBFBD>
<EFBFBD>C<06>
	<0F><13>O<EFBFBD>$<24>
3<>
<15>g<EFBFBD>l<EFBFBD>l<EFBFBD>D<EFBFBD>O<EFBFBD>O<EFBFBD>V<EFBFBD>]<5D>]<5D>
C<>
<1A>
<1C>"<22>8<EFBFBD>G<EFBFBD>L<EFBFBD>L<EFBFBD>$<24>/<2F>/<2F>;<3B>#W<>
!<21>

#<23>,<2C>\<5C>N<EFBFBD>!<21>
<<3C>
<15>g<EFBFBD>)<29>)<29>4<EFBFBD>?<3F>?<3F>D<EFBFBD>M<EFBFBD>M<EFBFBD>
J<>
<1D>
<1F>.<2E>l<EFBFBD>^<5E>:<3A>
F<>
<15>g<EFBFBD>)<29>)<29>4<EFBFBD>?<3F>?<3F>D<EFBFBD>M<EFBFBD>M<EFBFBD>
J<>
<18>
<1A> <20><0C>~<7E>U<EFBFBD>
3<>
<15>g<EFBFBD>)<29>)<29>4<EFBFBD>?<3F>?<3F>D<EFBFBD>M<EFBFBD>M<EFBFBD>
J<>
<18>
<1A>%<25>\<5C>N<EFBFBD>!<21>
4<>
<15>g<EFBFBD>)<29>)<29>4<EFBFBD>?<3F>?<3F>D<EFBFBD>M<EFBFBD>M<EFBFBD>
J<>
<18>
<1A>/<2F>
<15>g<EFBFBD>)<29>)<29>4<EFBFBD>?<3F>?<3F>D<EFBFBD>M<EFBFBD>M<EFBFBD>
J<>
<18>
<1A>(<28>
<15>g<EFBFBD>)<29>)<29>4<EFBFBD>?<3F>?<3F>F<EFBFBD>M<EFBFBD>M<EFBFBD>
J<>
<1A>
<1C>5<>[<5B>M<EFBFBD><11>
C<>
<15>g<EFBFBD>)<29>)<29>4<EFBFBD>?<3F>?<3F>D<EFBFBD>
A<>

C
<01>!<21>+<2B><1D>c<EFBFBD>
2<>
<15>g<EFBFBD>)<29>)<29>4<EFBFBD>?<3F>?<3F>D<EFBFBD>
A<>

C
<01>
=<3D>
<15>g<EFBFBD>)<29>)<29>4<EFBFBD>?<3F>?<3F>D<EFBFBD>M<EFBFBD>M<EFBFBD>4<EFBFBD>
P<>

R
<01>%<25>l<EFBFBD>^<5E>9<EFBFBD>
=<3D>
<15>g<EFBFBD>)<29>)<29>4<EFBFBD>?<3F>?<3F>D<EFBFBD>M<EFBFBD>M<EFBFBD>
J<>
"<22>
$<24><1B>;<3B>-<2D>
(<28>$<24>-<2D>-<2D>8<><1B>K<EFBFBD>=<3D><05>
.<2E><04>
<0A>
<0A>><3E>
<11>4<EFBFBD>=<3D>=<3D>!<21><11>)<29><1B>H<EFBFBD>
%<25>w<EFBFBD>':<3A>':<3A>;<3B>
<18>$<24><1F>
<1B>W<EFBFBD>0<>0<>1<>
<11>6<EFBFBD>=<3D>=<3D>-<2D>0<>
<11>6<EFBFBD>=<3D>=<3D>,<2C>/<2F>
<12>F<EFBFBD>M<EFBFBD>M<EFBFBD>;<3B>/<2F>
<14>k<EFBFBD><<3C>0<>
<17><14>|<7C>,<2C>
<12>K<EFBFBD>!1<>2<>
<18>&<26>.<2E>.<2E>)<29>
8<>&<26>,<2C>,<2C>G<>
<1D>x<EFBFBD>(<28>e
3
<EFBFBD>C<06>r
	<18>
<19>7<EFBFBD>#<23>
E<>w<EFBFBD>O<>
<13>T<EFBFBD>_<EFBFBD>_<EFBFBD>%<25>
<EFBFBD>s
C<06>|
	<1D>
<18>&<26>.<2E>.<2E>)<29>
<12>K<EFBFBD><16>(<28>
<EFBFBD>}
C<06>D	<14>
<1E><08><17><1C><1C>v<EFBFBD>}<7D>}<7D> E<>}<7D>U<>
<12>G<EFBFBD>L<EFBFBD>L<EFBFBD>!<21>
<18>'<27>,<2C>,<2C>'<27>
<15>w<EFBFBD>|<7C>|<7C>$<24>
<12>D<EFBFBD>&<26>!<21><13>O<EFBFBD>$<24>

<EFBFBD>EC<06>T	<1E>
<12>K<EFBFBD><1F>1<><13>O<EFBFBD>$<24> 
<EFBFBD>UC<06>\	<18><17><17>,<2C>,<2C>-<2D><11>7<EFBFBD>&<26>&<26>'<27><11>;<3B><08>)<29><12>6<EFBFBD>?<3F>	
<EFBFBD>]C<06>h	<19>
<15>w<EFBFBD>|<7C>|<7C>\<5C>2<>
<12>D<EFBFBD>&<26>!<21><13>O<EFBFBD>$<24>
<EFBFBD>iC<06>r	<15>
<1E><08><17><1C><1C>v<EFBFBD>}<7D>}<7D> E<>}<7D>U<>
<12>G<EFBFBD>L<EFBFBD>L<EFBFBD>!<21>
<18>'<27>,<2C>,<2C>'<27>
<15>w<EFBFBD>|<7C>|<7C>$<24>
<11>4<EFBFBD><16> <20>
<12>D<EFBFBD>(<28>#<23><13>O<EFBFBD>$<24>
<EFBFBD>sC<06>D	<15>
<16><06>
<0A>
<0A>&<26>
<11>6<EFBFBD>=<3D>=<3D>&<26>)<29>
<EFBFBD>EC<06>L	<14>
<17><16><1D><1D>'<27>
<12>F<EFBFBD>M<EFBFBD>M<EFBFBD>6<EFBFBD>*<2A>
<EFBFBD>MC<06>T	<16>
<16><06>
<0A>
<0A>&<26>
<11>6<EFBFBD>=<3D>=<3D>&<26>)<29>
<EFBFBD>UC<06>\	<15>
<14>k<EFBFBD>6<EFBFBD>*<2A>
<13>T<EFBFBD>_<EFBFBD>_<EFBFBD>%<25>
<1B>X<EFBFBD>f<EFBFBD>k<EFBFBD>:<3A><M<>N<> <20><1B>
<0A>Q<EFBFBD>
/<2F><18>&<26>$<24>-<2D>-<2D>1P<31>Q<>
 <20>%<25><08>/<2F>2<>
<EFBFBD>]C<06>j	<1A><13>F<EFBFBD>O<EFBFBD>
<14>k<EFBFBD>6<EFBFBD>*<2A>
<EFBFBD>kC<06>r	<15>
<17><14>w<EFBFBD>'<27>
<17><14>v<EFBFBD>&<26><13>F<EFBFBD>O<EFBFBD>
<EFBFBD>sC<06>|	<19>
<12>K<EFBFBD><17>)<29><13>F<EFBFBD>O<EFBFBD>
<12>K<EFBFBD><16>(<28>
<EFBFBD>}C<06>Fr>N)r <00>pygments.lexerrrrr<00>pygments.tokenrrrr	r
rrr
<00>__all__<5F>pygments.lexers.theoremrrrr>r?<00><module>rD
s<<00>


<01>
<04>
@
<01>?<3F>

<18>

<18>

<18><17>-<2D><07>,<2C>\
<06>
<EFBFBD>\
r>