Team Ai
Datasetpublic

codekingpro/portable-devtools

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

2�jA�����SrSSKrSSKJrJrJrJrJr SSKJ	r	J3r4JrJrJ
r
JrJrJrJr /SQr"SS\5r"SS	\5r"S5S\5r"SS
\5r"SS\5rg)z�6pygments.lexers.ml7~~~~~~~~~~~~~~~~~~8 9Lexers for ML family languages.10 11:copyright: Copyright 2006-present by the Pygments team, see AUTHORS.12:license: BSD, see LICENSE for details.13�N)�14RegexLexer�include�bygroups�default�words)	�Text�Comment�Operator�Keyword�Name�String�Number�Punctuation�Error)�SMLLexer�15OcamlLexer�OpaLexer�ReasonLexer�16FStarLexerc��\rSrSrSrSrS/r/SQrSS/rSr	S	r171S18kr1Skr1Skr
S
rSrSrSrSrSr0SS\4S\R,S4/_SS\S4S\S4S\R2S4S\R2S4S\R2S4/_S S!R5S"R7S#\
555\4S$\R:S%4S&\R<S'4S(\R@4S)\R@4S*\RB4S+\RD4S,\RD4S-\RD4S.\RB4S/\#RH4S0\S13\#RH4S2\S13\#RH4S3\R2S44S5\R2S64S7\R2S84S9\R2S:4S;\#RJ4S<\S=3\S>4S<\S13\4S<\S13\4/_S>S<\S=3\4S<\S13\S4S<\S13\S4S\&4S?\&4/_S@\'"S5/_S\("S5SA\R2SB4SC\R2SD4\("S5\("S 5S?\&4/_SE\("S5SF\4S\R,S4SG\R2SH4SI\R2SJ4SK\SH4SL\R2SM4\("S5\("S 5S?\&4/19_S%\"\R:5_S'\"\R<5_SNSOR5S"R7\55\S4/_S8\("S5\("SN5S<\S13\#RR4\'"S5/_SH\("S5S;\#RJ4SP\SQ4S<\S13\#RTS4S<\S13\#RTS4\'"S5/_SB\("S5S;\#RJ4SP\SQ4S<\SR\SS3\+"\#RX\\5S4S<\SR\SS3\+"\#RX\\5S4S<\S13\#RXS4S<\S13\#RXS4\'"S5/_S:\("S5\("SN5S;\#RJ4SP\SQ4ST\S13\SU4S<\S13\RZ4S<\S13\RZ4S?\&S4/_SV\("S5SW\R2SX4\("SN5\("S 5S?\&S4/_S4\("S5\("SN5S;\#RJ4SP\SQ4SY\+"\\\R25S4ST\S13\SZ4S<\S13\RZ4S<\S13\RZ4S?\&S4/	_S[\("S5SW\R2S\4S]\R2SX4S^\R24S_\S13\+"\\\#R\54S`\S13\+"\\\#R\54\("SN5\("S 5S?\&4/	_\("S5Sa\S13\+"\R2\\#R\54Sb\S13\+"\R2\\#R\54S^\R24S<\Sc\S13\#R\4\'"S5/\("S5S<\S13\#R\S4S<\S13\#R\S4S?\&S4/SF\4S\R,S4S;\#RJ4\\#4Sd\4Se\S4\\#4/Sf\R,4S\R,Sg4Sh\R,S4Si\R,4/Sj.Er/Skr0gl)mr�z20For the Standard ML language.21zStandard ML�sml)z*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardmlz)https://en.wikipedia.org/wiki/Standard_ML�1.5>)�as�do�fn�if�in�of�op�and�end�fun�let�rec�sig�val�case�else�open�then�type�with�infix�local�raise�where�while�eqtype�handle�infixr�nonfix�orelse�struct�abstype�andalso�functorr�sharing�datatype�withtype�	exception�	signature�	structure>�#�:�=�->�:>�=>�\|>22�(�)�,�;�[�]�_�{�}�...z[a-zA-Z][\w']*z[!%&$#+\-/:<=>?@\\~`^|*]+c	��SU4S[R4S[R4S[R4S[R4S[R4SUS4/$)	Nz[^"\\]z\\[\\"abtnvfr]z\\\^[\x40-\x5e]�23\\[0-9]{3}z\\u[0-9a-fA-F]{4}z\\\s+\\�"�#pop)r
�Escape�Interpol)�whatkinds �XD:\code\apps\devtools\python\user_packages\Python313\site-packages\pygments/lexers/ml.py�stringy�SMLLexer.stringy<s\��
��!�
��
�
�.� ����/�
�F�M�M�*�
!�6�=�=�1�
����)�
�8�V�$�24�	25�c#�# �URS5UR;a[nO[RnURS5X!RS54v� URS5[URS54v� g7f)N��)�group�alphanumid_reservedrr�	Namespace�startr��self�match�tokens   rZ�long_id_callback�SMLLexer.long_id_callbackKsa����;�;�q�>�T�5�5�5��E��N�N�E��k�k�!�n�e�[�[��^�3�3��k�k�!�n�k�5�;�;�q�>�9�9�s�BBc#��# �URS5UR;a[nO,URS5UR;a[nO[nURS5X!RS54v� g7f�Nr_)rarbr�symbolicid_reservedrrdres   rZ�end_id_callback�SMLLexer.end_id_callbackSs[����;�;�q�>�T�5�5�5��E�
�[�[��^�t�7�7�
7��E��E��k�k�!�n�e�[�[��^�3�3�s�A8A:c#��# �URS5nX R;a[RnOX R;a[26nO[nURS5X24v� g7frl)rarbr�Reservedrmrrrd)rfrg�strrhs    rZ�id_callback�SMLLexer.id_callback\sR����k�k�!�n���*�*�*��$�$�E�
�,�,�
,��E��E��k�k�!�n�e�(�(�s�A$A&�27whitespace�\s+�\(\*�comment�28delimitersz\(|\[|\{�mainz\)|\]|\}rVz\b(let|if|local)\b(?!\'))rzrzz\b(struct|sig|while)\b(?!\')z\b(do|else|end|in|then)\b(?!\')�core�({})�|c#�N# �UHn[R"U5v� M g7f)N)�re�escape)�.0�zs  rZ�	<genexpr>�SMLLexer.<genexpr>|s���$J�>�a�R�Y�Y�q�\�\�>�s�#%z#"�charrU�stringz~?0x[0-9a-fA-F]+z0wx[0-9a-fA-F]+z0w\d+z~?\d+\.\d+[eE]~?\d+z29~?\d+\.\d+z~?\d+[eE]~?\d+z~?\d+z#\s*[1-9][0-9]*z#\s*(rJz#\s+(z\b(datatype|abstype)\b(?!\')�dnamez\b(exception)\b(?!\')�enamez4\b(functor|include|open|signature|structure)\b(?!\')�snamez\b(type|eqtype)\b(?!\')�tnamez	\'[\w\']*rIz)(\.)�dottedz\S+�rootz\b(val|and)\b(?!\')�vnamez\b(fun)\b(?!\'))rV�main-fun�fnamer�z\sz\b(fun|and)\b(?!\')r�z\b(val)\b(?!\'))rVrzr�rHz\b(case|handle)\b(?!\'))rVrz�breakoutz(?=\b({})\b(?!\'))�\(�tyvarseqz)(\s*)(=(?!z))�=(?!)rV�typbindr�z\b(and)\b(?!\'))rVr�z(=)(\s*)(datatype))rV�datbind�datconr�)rVr�z\b(withtype)\b(?!\')z\b(of)\b(?!\')z30(\|)(\s*)(z31(\|)(\s+)(z
(and\b)(\s+)(z
(and\b)(\s*)(z)|(rK�\)z[^(*)]�#push�\*\)�[(*)])r�r�r�rx�N)1�__name__�32__module__�__qualname__�__firstlineno__�__doc__�name�aliases�	filenames�	mimetypes�url�
version_addedrbrm�nonid_reserved�
alphanumid_re�
symbolicid_rer[rirnrsrr	�	Multilinerrrq�format�joinr
�Char�Doubler�Hex�Integer�Floatr�Label�	Decoratorrrrrc�Functionr�Variable�Type�Class�tokens�__static_attributes__r�r]rZrrs�����D��g�G�+�I�$�&@�A�I�335�C��M�	����J�N�%�M�0�M�34�:�4�)�z��
�T�N�
�g�'�'��3�35�z�	��+�v�.�
�+�v�.�
(�'�*:�*:�<L�M�
,�g�.>�.>��G�
/��1A�1A�6�J�36�z�(	�
�^�^�C�H�H�$J�>�$J�J�
K�
�
��F�K�K��(�
�6�=�=�(�+�
 �&�*�*�-�
����,�
�v�~�~�&�
#�V�\�\�2�
�F�L�L�)�
����-�
�v�~�~�&� ����,��m�_�A�
&��37�38�3��m�_�A�
&��39�40�3�
,�g�.>�.>��H�
%�w�'7�'7��A�
D�
�
�
�w�
(�
'��)9�)9�7�C��4�>�>�*��-���
&�(8�(�C��-���
"�K�0��-���
"�K�0�? 41�)z�j	��-���
&�(8�9��-���
"�O�V�<��-���
"�O�V�<�
�U�O�
�U�O�42�kz�~	��F�O�43�z�J	��L�!�$�W�%5�%5�w�?�
��!1�!1�
*�
,�
�L�!��F�O�
�U�O�44�Kz�f	��L�!�
�D�M�
�g�'�'��3�$�W�%5�%5�w�?�
��!1�!1�
&�
(��K��)�
'��)9�)9�
�
�
�L�!��F�O�
�U�O�%45�gz�R	�����$�Sz�T	�'�&�-�-�(�Uz�X	�
"�
)�
)�#�(�(�3F�*G�
H�$�PV�W�46�Yz�b	��L�!��J���-���
"�D�N�N�3��F�O�47�cz�t	��L�!�
�4�>�>�*�
�K��,��-���
"�D�M�M�6�:��-���
"�D�M�M�6�:�
�F�O�4849�uz�N	��L�!�
�4�>�>�*�
�K��,��-���M�?�"�
=�
�d�m�m�T�;�
7��
A��-���M�?�"�
=�
�d�m�m�T�;�
7��
A��-���
"�D�M�M�6�:��-���
"�D�M�M�6�:�
�F�O�50�Oz�p	��L�!��J��
�4�>�>�*�
�K��,��]�O�1�
%�{�4G�H��-���
"�G�L�L�1��-���
"�G�L�L�1�
�U�F�#�51�qz�L	��L�!�
��!1�!1�3D�E��J���F�O�
�U�F�#�52�Mz�b	��L�!��J��
�4�>�>�*�
�K��,�
"�
�k�4��)9�)9�
:�F�
D��]�O�1�
%�{�
*�
,��-���
"�G�L�L�1��-���
"�G�L�L�1�
�U�F�#�53�cz�D	��L�!�
��!1�!1�3D�E�
$�g�&6�&6�8I�J�
�� 0� 0�1��=�/��
+�
�k�4����
4�
6��=�/��
+�
�k�4����
4�
6�
�J���F�O�
�U�O�54�Ez�j
�L�!��m�_�A�
.�
�g�&�&��d�j�j�
9�
;��m�_�A�
.�
�g�&�&��d�j�j�
9�
;�
�� 0� 0�1��-���M�?�!�
4�d�j�j�A��F�O�55�
�L�!��-���
"�D�J�J��7��-���
"�D�J�J��7�
�U�F�#�	56��D�M�
�g�'�'��3�
�4�>�>�*�
�D�!�
�;��
�K��(�
�D�!�	57���)�)�*�
�g�'�'��1�
�g�'�'��0�
�w�(�(�)�	58�iz�Fr]rc�B�\rSrSrSrSrSrS/r/SQrS/r	Sr59S	rS60rSr
SrS
rSrSrS\R&4S\R&4S\R&4/S\4S\R,R.4S\R0S4S\R24S\S4SR7SR9\55\4SR7SR9\SSS255\4S\S\S \
3\4SR7SR9\55\R>4SR7SR9\55\R@4S!\4S"\!RD4S#\!RF4S$\!RH4S%\!RJ4S&\!RL4S'\RN4S(\RN4S)\4S*\RPS+4S,\RR4/S-\4S.\S/4S0\S14S2\4/S3\RP4\*"S45S5\RP4S*\RPS14/S\4S6\+4S7\R04S8\R2S14S9\S14\,"S15/S:.r-S;r.g)<ricz61For the OCaml language.62�OCamlzhttps://ocaml.org/�ocaml)z*.mlz*.mliz*.mllz*.mlyztext/x-ocamlz0.7)0r!r�assert�begin�class�63constraintr�done�downtor)r"r?�external�false�forr#�functionr;rrr�inherit�initializer�lazyr$rg�method�module�mutable�new�objectrr*�privater0r%r&r8r+�to�true�tryr,r'�virtual�whenr2r-))�!=rB�&�&&r�r��\*�\+rK�-�-\.rE�\.�\.\.rC�::�:=rFrL�;;�<�<-rD�>�>]�>\}�\?�\?\?�\[�\[<�\[>�\[\|rNrO�`�\{�\{<rH�\|]�\}�~�[!$%&*+\./:<=>?@^|~-])�asr�land�lor�lsl�lxor�mod�or�[!?~]�[=<>@^|&+\*/$%-]��unit�int�float�boolr�r��list�array�
\\[\\"\'ntbr]rT�\\x[0-9a-fA-F]{2}rv�false|true|\(\)|\[\]�\b([A-Z][\w\']*)(?=\s*\.)r��\b([A-Z][\w\']*)�\(\*(?![)])rx�\b({})\br}r|N�����rI�)?�
[^\W\d][\w']*�(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)�0[xX][\da-fA-F][\da-fA-F_]*�0[oO][0-7][0-7_]*�0[bB][01][01_]*�\d[\d_]*�7'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2}))'�'.'�'rUr��[~?][a-z][\w\']*:�[^(*)]+rwr�r�rVr��[^\\"]+�escape-sequence�\\\nr��[A-Z][\w\']*(?=\s*\.)�[A-Z][\w\']*�
[a-z_][\w\']*�rr�rxr�r�r�)/r�r�r�r�r�r�r�r�r�r�r��keywords�keyopts�	operators�word_operators�prefix_syms�64infix_syms�65primitivesr
rWrr�Builtin�Pseudorcr�r	r�r�rr66�Wordr�rr�r��Oct�Binr�r�r�r�rrrr�r�r�r]rZrrcs�����D�67�C��i�G�3�I�� �I��M��H��G�)�I�G�N��K�$�J�T�J��v�}�}�-�
�F�M�M�*�
!�6�=�=�1�68��T�N�
$�d�l�l�&9�&9�:�
)�4�>�>�8�D�
 �$�*�*�-�
�W�i�0�
�
�
����� 2�
3�W�=�
�^�^�C�H�H�W�T�r�T�]�3�
4�h�?��*��Q�{�m�2�i�[�
9�8�D�
�
�
����� 8�
9�8�=�=�I�
�
�
����� 4�
5�w�|�|�D�
�t�$�
8�&�,�,�G�
+�V�Z�Z�8�
!�6�:�:�.�
����,�
�&�.�.�)�
G�
�[�[�
�
�V�[�[�!�
�7�O�
�6�=�=�(�+�
!�4�=�=�1�769�<��!�
�g�w�'�
�g�v�&�
�w��	70�����'��%�&�
�f�m�m�$�
�6�=�=�&�)�	71��T�N�
�K� �
%�t�~�~�6�
�d�j�j�&�1�
�t�V�,��F�O�
72�_7�Fr]rc���\rSrSrSrSrS/rS/rS/rSr	Sr73S	rS74rSr
Sr0S
S\R 4S\R 4S\R 4/_SS\S4S\4/_S\"S5S\4/_S\"S5\"\SSS9\4S\-S-\R.R04S\R44S\R44S\R44S\R64S\R84S \R:4S!\R<4S"\R<4S#\R>S$4S%\R@4S&\!S'4S(\!S)4S*\RDS+4S,\RF4S-\
-S.-\RF4S/\RH4S0\
-S.-\4S1\
S23\!4S1\S23\!4S3\!S44S5\-\RJ4S6\-\RD4S7\RD4\\4/_S4\"S5S8\RJ4\&"S95/_S:\"S5S;\RJS<4S=\RJS>4\S;-\RJS<4\\RJS)4S5\-\RJ4\&"S)5/_S?\"S5\&"S@5/_SA\"S5SB\RJSC4\&"S)5/_SD\"S5S8\RJSE4SF\RJSG4\&"S)5/_SH\"S5SI\RJS?4S8\RJSE4\&"S)5/_SJ\"S5SK\RJ4SL\RJ4S;\RJS'4SM\RJS)4/_SN\"S5SO\RJ4SL\RJ4S&\RJS'4S(\RJS)4/_SSP\4S\S'4SQ\S)4SL\4/_S$SR\R>4S#\R>S)4S&\!S4\"S
5/_SSST\R>4SU\R>S)4S&\!S4\"S
5/_S+SV\RDSW4SX\RDSY4/_SZS[\RDS)4/_S\4S\\RDS]4S^\RDS)4SX\RDSY4/S5\RDS_4S#\RDS`4S6\-\RDS)4S7\RDSa4Sb\RDS)4S&\!Sa4/Sc\Sd4Se\RDSf4Sg\RDS+4S&\!S4Sh\RD4/Si\S)4Sj\4/Sk.Er'Slr(gm)nri�z75Lexer for the Opa language.76�Opa�opaz*.opaz77text/x-opazhttp://opalang.orgr)r!rr�r(�client�css�database�dbrr)r"r��forallr�r�importrgr�r��package�parserr%�serverr+r,r'r-�78xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z[()\[\],;|]rz
\\[\\"\'ntr}]rTr�commentsz/\*znested-commentz//.*?$zcomments-and-spacesrvr�z\b)�prefix�suffix�@z-?.[\d]+([eE][+\-]?\d+)z-?\d+.\d*([eE][+\-]?\d+)z-?\d+[eE][+\-]?\d+z0[xX][\da-fA-F]+z0[oO][0-7]+z790[bB][01]+z\d+z#[\da-fA-F]{3,6}rUr�z9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'r�r�r�rVz<(?=[a-zA-Z>])z
html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!rJz\b([A-Z]\w*)(?=\.)r�rIz)+rCr,rrBz#(?=\{)rE)rV�80type-lhs-1�type-with-slash�type-1r�)rV�81type-tuplez~?\{)rV�type-recordr<)rV�slash-type-1r=r@�/)rVr=r;)rVr,z(?=,))rV�82type-arrowrBz
,(?=[^:]*?->)r>z[^()/*]+z[/*]r�r?z[^{}/*]+�[^/*]+z\*/z[^\\"{]+�
single-stringz	[^\\\'{]+z\'z[\w\-:]+)rV�	html-attrr�)rV�html-content�html-end-tagz	[\w\-:]*>z	[\w\-:]+=�html-attr-valuez/>)rVrD)rVr�)rVr�z[^"\'{`=<>]+z<!--�html-commentz</)rVrGr�z[^<{]+z-->z[^\-]+|-)rErHrFrIr�N))r�r�r�r�r�r�r�r�r�r�r�r�ident_re�op_re�punc_rer
rWr	rrrrrr%r&rr�r�r(r)r�r�r�r83�Singler�rcr�rr�r�r�r]rZrr�s{����D��g�G��	�I���I�84�C��M�85�H�-�H�"�E��G�c��
�v�}�}�-�
�F�M�M�*�
!�6�=�=�1�86�c�	�
�W�.�/�
�� �87�c�	��J��
�T�N� 88�c�$	��)�*�
�8�E�%�
8�'�B��H�_�u�
$�d�l�l�&9�&9�:�(����6�
(�&�,�,�7�
"�F�L�L�1�
 �&�*�*�-�
�V�Z�Z�(�
�F�J�J�'�
�V�^�^�$�
 �&�.�.�1��6�=�=�(�+�J�
�[�[�
��H�g�&�
�H�f�%���
�
��?�&�t�}�}�5��e�^�D�
 �$�-�-�0�#�D�N�N�3��U�]�4�
��)��%���^�X�&��'��"�
�x�(��8�V�$���\�7�<�<�(��(�]�F�M�M�*�
����'��t��cU89�%c�t	��)�*�
�G�L�L�!��=�>�90�uc�F	��)�*�
�G�L�L�"8�9�
�g�l�l�$;�<�
�e�^�W�\�\�+A�B�
�w�|�|�V�,�
��\�7�<�<�(�91
�F�O�92�Gc�h	��)�*��6�7�93�ic�p	��)�*�
�'�,�,� 2�3��F�O�	94�qc�H	��)�*�
�G�L�L�"2�3�
�w�|�|�%;�<��F�O�	95�Ic�T	��)�*��w�|�|�->�?�
�G�L�L�"2�3��F�O�96�Uc�t	��)�*�
�'�,�,�'�
�g�l�l�#�
�G�L�L�'�*�
�G�L�L�&�)�97�uc�B	��)�*�
�'�,�,�'�
�g�l�l�#�
�G�L�L�'�*�
�G�L�L�&�)�98�Cc�x	�
�� �
�W�g�&�
�W�f�%�
�g��	99�yc�J	�
�&�-�-�(�
�6�=�=�&�)�
�H�f�%��%�&�	100�Kc�V	�
�6�=�=�)�
�F�M�M�6�*�
�H�f�%��%�&�	101�Wc�p	�
�&�-�-�)>�?�
�6�=�=�":�;�102�qc�~	�
�6�=�=�&�1�103�c�N�T�N�
�6�=�=�*;�<�
�F�M�M�6�*�
�6�=�=�":�;�	104��6�=�=�";�<�
�6�=�=�"4�5�
�(�]�F�M�M�6�2�
����(8�9�
�f�m�m�V�4�
�H�.�/�
105��g�~�.�
�F�M�M�#;�<�
�6�=�=�/�2�
�H�f�%�
��
�
�&�106��W�f�%�
�'�"�107�c�Fr]rc���\rSrSrSrSrSrSS/rSS/rS	/r	S108r109SrSrS
r
SrSrSrSrS\R&4S\R&4S\R&4/S\4S\R,R.4S\R0S4S\R24S\R64S\R8S4SR;SR=\55\4SR;SR=\S S S!255\ RB4S"\S\S#\
3\ 4SR;SR=\55\ RB4SR;SR=\55\RD4S$\4S%\#RH4S&\#RJ4S'\#RL4S(\#RN4S)\#RP4S*\RR4S+\RR4S,\4S-\RTS.4S/\RV4/S0\R84S1\R8S24S3\R8S44S5\R84/S6\RT4\,"S75S8\RT4S-\RTS44/S\4S9\-4S:\R04S;\R2S44S<\S44\."S45/S=.r/S>r0g )?riz110For the ReasonML language.111�ReasonMLzhttps://reasonml.github.io/�reasonml�reasonz*.rez*.reiztext/x-reasonmlz2.6)0rr�r�r�r�rr�r�r)r"r?r�r�r�r#�esfunr�r;rrrr�r�r�r$�switchr��pubr�r��nonrecr�rr*�prir%r&r8r+r�r�r�r,r'r�r�r2r-)+r�rBr�r�r�r�r�r�rKr�r�rGr�r�z\.\.\.rCr�r�rFrLr�r�r�rDr�r�r�r�r�r�r�r�r�rNrOr�r�r�rHz\|\|r�r�r�r�)	r!r�r�r�r��lsrr�r�r�r�r�r�rrTrrvrrr�rz//.*?\nz	\/\*(?!/)rxr	r}r|Nr112rIrrr
rrrrrrrrUr�rrCz\/\*r�z\*\/rVr�rrrr�rrrrr�)1r�r�r�r�r�r�r�r�r�r�r�rrr r!r"r#r$r
rWrrr%r&rcr�r	rMr�r�r�rr113r'r�rr�r�r(r)r�r�r�r�rrrr�r�r�r]rZrrs�����D�114'�C��8�$�G���!�I�"�#�I��M��H��G�)�I�U�N��K�$�J�T�J��v�}�}�-�
�F�M�M�*�
!�6�=�=�1�115��T�N�
$�d�l�l�&9�&9�:�
)�4�>�>�8�D�
 �$�*�*�-�
����(�
�7�,�,�i�8�
�
�
����� 2�
3�W�=�
�^�^�C�H�H�W�T�r�T�]�3�
4�h�m�m�D��*��Q�{�m�2�i�[�
9�8�D�
�
�
����� 8�
9�8�=�=�I�
�
�
����� 4�
5�w�|�|�D�
�t�$�
8�&�,�,�G�
+�V�Z�Z�8�
!�6�:�:�.�
����,�
�&�.�.�)�
G�
�[�[�
�
�V�[�[�!�
�7�O�
�6�=�=�(�+�
!�4�=�=�1�9116�>��)�)�*�
�g�'�'��1�
�g�'�'��0�
�G�%�%�&�	117�����'��%�&�
�f�m�m�$�
�6�=�=�&�)�	118��T�N�
�K� �
%�t�~�~�6�
�d�j�j�&�1�
�t�V�,��F�O�
119�a8�Fr]rc���\rSrSrSrSrSrS/rSS/rS/r	S	r120S121rSrSr
S
rSrSrSrSrS\R(4S\R(4S\R(4/S\4S\R.R04S\R2S4S\R44S\S4S\4SR9SR;\55\4SR9SR;\
55\R>4SR9SR;\55\R@4SR9SR;\S S S!255\!4S"\S\S#\3\!4SR9SR;\55\RD4S$\4S%\#RH4S&\#RJ4S'\#RL4S(\#RN4S)\#RP4S*\RR4S+\RR4S,\4S-\!RT4S.\4S/\RVS04S1\RX4/S2\4S3\S44S5\S64S7\4/S8\RV4\-"S95S:\RV4S/\RVS64/S\4S;\.4S<\R24S=\R4S64S>\S64\/"S65/S?.r0S@r1g )Ari^z122For the F* language.123�FStarzhttps://www.fstar-lang.org/�fstarz*.fstz*.fstiztext/x-fstarz2.7)5�abstract�124attributes�noeq�unopteq�andbegin�byr�effectr)r"�ensuresr?�existsr�r1r#r�rrr�inline�inline_for_extraction�irreducible�logicrgr�r�r��125new_effect�	noextractrr*�opaquer��range_of�	reifiable�reify�reflectable�requires�set_range_of�126sub_effect�synthr+�totalr�r�r,�unfold�127unfoldabler'r�r-�not)r$r%)�assume�admitr��calc)/r�r�z/\\z\\/z<:z<@z\(\|z\|\)rBzu#r�r�r�z\(\)rKz~>rEr�z<--z<==>z==>r�r�z\?\.z\.\[z\.\(z\.\(\|z\.\[\|z128\{:patternrCr�r�rLr�rDz%\[z!\{r�z\[@r�z\|>z\]z\|\]r�rHr�z\$r�r�r�r�rrTrrvzfalse|true|False|True|\(\)|\[\]rr�rrrxz\/\/.+$r	r}r|Nr129rIrrr
rrrrrrrz\`([\w\'.]+)\`z\`rUr�rrrwr�r�rVr�rrrr�rrrrr�)2r�r�r�r�r�r�r�r�r�r�r�r�
decl_keywords�assume_keywordsrr r"r#r$r
rWrrr%r&rcr�r	r�r�r�	Exception�Declarationr130r�rr�r�r(r)r�r�r'r�r�rrrr�r�r�r]rZrr^s�����D�131'�C��i�G��(�#�I�� �I��M�132�H�#�M�;�O��G�)�I��K�$�J�T�J��v�}�}�-�
�F�M�M�*�
!�6�=�=�1�133��T�N�
/����1D�1D�E�
)�4�>�>�8�D�
 �$�*�*�-�
�W�i�0�
��!�
�
�
����� 2�
3�W�=�
�
�
����� 9�
:�D�N�N�K�
�
�
����� 7�
8�'�:M�:M�N�
�^�^�C�H�H�W�T�r�T�]�3�
4�h�?��*��Q�{�m�2�i�[�
9�8�D�
�
�
����� 4�
5�w�|�|�D�
�t�$�
8�&�,�,�G�
+�V�Z�Z�8�
!�6�:�:�.�
����,�
�&�.�.�)�
G�
�[�[�
�
�V�[�[�!�
�7�O�
��
�
�.�
�G��
�6�=�=�(�+�
!�4�=�=�1�=134�B��!�
�g�w�'�
�g�v�&�
�w��	135�����'��%�&�
�f�m�m�$�
�6�=�=�&�)�	136��T�N�
�K� �
%�t�~�~�6�
�d�j�j�&�1�
�t�V�,��F�O�
137�e:�Fr]r)r�r�pygments.lexerrrrrr�pygments.tokenrr	r138rrr
rrr�__all__rrrrrr�r]rZ�<module>r�sv���139�H�H����N��L�z�L�^140Y��Y�x@�z�@�F141Y�*�Y�x`��`r]
codekingpro/portable-devtools · Team Ai