Team Ai
Datasetpublic

codekingpro/portable-devtools

sourceHugging Faceupdated 5mo agoView on Hugging Face
1likes14kdownloads
elpi.cpython-313.pyc49 linesDownload Raw Back to __pycache__
1�

2�j���p�SrSSKJrJrJrJr SSKJrJrJ	r	J3r4JrJrJ
r
Jr S/rSSKJr "SS\5rg)z�5pygments.lexers.elpi6~~~~~~~~~~~~~~~~~~~~7 8Lexer for the `Elpi <http://github.com/LPCIC/elpi>`_ programming language.9 10:copyright: Copyright 2006-present by the Pygments team, see AUTHORS.11:license: BSD, see LICENSE for details.12�)�13RegexLexer�bygroups�include�using)�Text�Comment�Operator�Keyword�Name�String�Number�Punctuation�	ElpiLexer)�	RocqLexerc �r�\rSrSrSrSrSrS/rS/rS/r	Sr14S	rS15rSr
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)jr�z*16Lexer for the Elpi programming language.17�Elpizhttp://github.com/LPCIC/elpi�elpiz*.elpiztext/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*)(\")zelpi-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+)((z18(,\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-startz19(?=[A-Z_])z(?=[a-z_])(z|_)\\�_z|!|=>|;)z\[|\]|\||=>�"�`z20elpi-btickz\'z	elpi-tickz\{\{z21elpi-quotez\{[^\{]z22elpi-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__�23__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_rerrr24�Moder�25Whitespacer�Doubler�Declarationr�Function�Variabler
�Integer�Floatr	r�Typerr�tokens�__static_attributes__r��ZD:\code\apps\devtools\python\user_packages\Python313\site-packages\pygments/lexers/elpi.pyrrsY����D�26(�C��h�G��27�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�28�]�29	��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�(�k630�]�x	�
�7�#�
E�w�O�
�T�_�_�%�31�y]�B	�
�&�.�.�)�
�K��(�32�C]�J	�
�����v�}�}� E�}�U�
�G�L�L�!�
�g�l�l�#�
�'�,�,�'�
�w�|�|�$�
�D�&�!��O�$�33�K]�\	�
�K��1��O�$� 34�]]�d	���,�,�-��7�&�&�'��;��)��6�?�	35�e]�p	�
�w�|�|�$�
�D�&�!�
�7�<�<� ��*�+�
�G�L�L�&�)�
�G�L�L�"3�4��O�$��%�&�	36�q]�D	�
�'�,�,�'�
�D�&�!�
�7�<�<� �
�G�L�L�!��*�+�
�G�L�L�&�)�
�G�L�L�"3�4��O�$��%�&�3738�E]�Z	�
��'�,�,�t���w�GZ�GZ�![�]m�n�
��'�,�,�t���w�GZ�GZ�![�]m�n�!39�[]�b	�
�G�L�L�!�
�'�,�,�'��*�+�
�G�L�L�'�*�
�G�L�L�&�)��O�$�
40�c]�t	���
�
�&�
�6�=�=�&�)�41�y]�@	�
����'�
�F�M�M�6�*�42�A]�H	�
��
�
�&�
�6�=�=�&�)�43�I]�P	�
�k�6�*�
�T�_�_�%�
�X�f�k�:�<M�N� ��
�Q�
/��&�$�-�-�1P�Q�
 �%�	�"2�3�44�Q]�^	��F�O�
�k�6�*�45�_]�f	�
��w�'�
��v�&��F�O�46�g]�p	�
�K��)��F�O�
�K��(�47�q]�FrAN)r#�pygments.lexerrrrr�pygments.tokenrrr	r48rrr
r�__all__�pygments.lexers.theoremrrrrArB�<module>rGs<���@�?�����-��-�v�49�vrA
codekingpro/portable-devtools · Team Ai