HOME


Mini Shell 1.0
DIR: /lib/python3/dist-packages/pygments/lexers/__pycache__/
Upload File :
Current File : //lib/python3/dist-packages/pygments/lexers/__pycache__/ml.cpython-312.pyc
�

|�e�����dZddlZddlmZmZmZmZmZddlm	Z	m
Z
mZmZm
Z
mZmZmZmZgd�ZGd�de�ZGd�d	e�ZGd
�de�ZGd�d
e�ZGd�de�Zy)z�
    pygments.lexers.ml
    ~~~~~~~~~~~~~~~~~~

    Lexers for ML family languages.

    :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
�N)�
RegexLexer�include�bygroups�default�words)	�Text�Comment�Operator�Keyword�Name�String�Number�Punctuation�Error)�SMLLexer�
OcamlLexer�OpaLexer�ReasonLexer�
FStarLexerc��eZdZdZdZdgZgd�ZddgZhd�Zhd�Z	hd	�Z
d
ZdZd�Z
d
�Zd�Zd�Ziddefdej&dfg�ddedfdedfdej,dfdej,dfdej,dfg�dddj/d �e
D��zefd!ej2d"fd#ej4d$fd%ej8fd&ej8fd'ej:fd(ej<fd)ej<fd*ej<fd+ej:fd,ej@fd-ezej@fd.ezej@fd/ej,d0fd1ej,d2fd3ej,d4fd5ej,d6fd7ejBfd8ezed9fdezefdezefg�d9d8ezefdezedfdezedfde"fd:e"fg�d;e#d�g�de$d�d<ej,d=fd>ej,d?fe$d�e$d�d:e"fg�d@e$d�dAefdej&dfdBej,dCfdDej,dEfdFedCfdGej,dHfe$d�e$d�d:e"fg
�d"e
ej2��d$e
ej4��dIdJdj/e�zedfg�d4e$d�e$dI�dezejJfe#d�g�dCe$d�d7ejBfdKedLfdezejLdfdezejLdfe#d�g�d=e$d�d7ejBfdKedLfdMe�dNe�dO�e'ejPee�dfdMe�dNe�dO�e'ejPee�dfdezejPdfdezejPdfe#d�g�d6e$d�e$dI�d7ejBfdKedLfdPezedQfdezejRfdezejRfd:e"dfg�dRe$d�dSej,dTfe$dI�e$d�d:e"dfg�d0e$d�e$dI�d7ejBfdKedLfdUe'eeej,�dfdPezedVfdezejRfdezejRfd:e"dfg	�dWe$d�dSej,dXfdYej,dTfdZej,fd[eze'eeejT�fd\eze'eeejT�fe$dI�e$d�d:e"fg	�e$d�d]eze'ej,eejT�fd^eze'ej,eejT�fdZej,fdMe�d_e�d`�ejTfe#d�ge$d�dezejTdfdezejTdfd:e"dfgdAefdej&dfd7ejBfeefdaefdbedfeefgdcej&fdej&ddfdeej&dfdfej&fgdg��Z+yh)irzB
    For the Standard ML language.

    .. versionadded:: 1.5
    zStandard ML�sml)z*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardml>)�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>�#�:�=�->�:>�=>�\|>
�...�_�(�)�,�;�[�]�{�}z[a-zA-Z][\w']*z[!%&$#+\-/:<=>?@\\~`^|*]+c	��d|fdtjfdtjfdtjfdtjfdtjfd|dfgS)	Nz[^"\\]z\\[\\"abtnvfr]z\\\^[\x40-\x5e]�
\\[0-9]{3}z\\u[0-9a-fA-F]{4}z\\\s+\\�"�#pop)r
�Escape�Interpol)�whatkinds �4/usr/lib/python3/dist-packages/pygments/lexers/ml.py�stringyzSMLLexer.stringy<s\��
��!�
��
�
�.� ����/�
�F�M�M�*�
!�6�=�=�1�
����)�
�8�V�$�
�	
�c#�K�|jd�|jvrt}ntj}|jd�||jd�f��|jd�t|jd�f��y�w)N��)�group�alphanumid_reservedrr�	Namespace�startr��self�match�tokens   rX�long_id_callbackzSMLLexer.long_id_callbackKsd�����;�;�q�>�T�5�5�5��E��N�N�E��k�k�!�n�e�U�[�[��^�3�3��k�k�!�n�k�5�;�;�q�>�9�9�s�BBc#��K�|jd�|jvrt}n*|jd�|jvrt}nt}|jd�||jd�f��y�w�Nr\)r^r_r�symbolicid_reservedrrarbs   rX�end_id_callbackzSMLLexer.end_id_callbackSs^�����;�;�q�>�T�5�5�5��E�
�[�[��^�t�7�7�
7��E��E��k�k�!�n�e�U�[�[��^�3�3�s�A5A7c#��K�|jd�}||jvrtj}n||jvrt
}nt}|jd�||f��y�wrh)r^r_r�Reservedrirrra)rcrd�strres    rX�id_callbackzSMLLexer.id_callback\sY�����k�k�!�n���$�*�*�*��$�$�E�
�D�,�,�
,��E��E��k�k�!�n�e�S�(�(�s�A#A%�
whitespace�\s+�\(\*�comment�
delimitersz\(|\[|\{�mainz\)|\]|\}rTz\b(let|if|local)\b(?!\'))rtrtz\b(struct|sig|while)\b(?!\')z\b(do|else|end|in|then)\b(?!\')�core�(%s)�|c#�FK�|]}tj|����y�w)N)�re�escape)�.0�zs  rX�	<genexpr>zSMLLexer.<genexpr>|s����E���	�	�!��E�s�!z#"�charrS�stringz~?0x[0-9a-fA-F]+z0wx[0-9a-fA-F]+z0w\d+z~?\d+\.\d+[eE]~?\d+z
~?\d+\.\d+z~?\d+[eE]~?\d+z~?\d+z#\s*[1-9][0-9]*z#\s*(%s)z#\s+(%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\']*z(%s)(\.)�dottedz\S+�rootz\b(val|and)\b(?!\')�vnamez\b(fun)\b(?!\'))rT�main-fun�fnamer�z\sz\b(fun|and)\b(?!\')r�z\b(val)\b(?!\'))rTrtr�rFz\b(case|handle)\b(?!\'))rTrt�breakoutz(?=\b(%s)\b(?!\'))�\(�tyvarseqrIz)(\s*)(=(?!z))z=(?!%s))rT�typbindr�z\b(and)\b(?!\'))rTr�z(=)(\s*)(datatype))rT�datbind�datconr�)rTr�z\b(withtype)\b(?!\')z\b(of)\b(?!\')z
(\|)(\s*)(%s)z
(\|)(\s+)(%s)z(and\b)(\s+)(%s)z(and\b)(\s*)(%s)z)|(rJrK�\)z[^(*)]�#push�\*\)�[(*)])r�r�r�rrN),�__name__�
__module__�__qualname__�__doc__�name�aliases�	filenames�	mimetypesr_ri�nonid_reserved�
alphanumid_re�
symbolicid_rerYrfrjrnrr	�	Multilinerrrl�joinr
�Char�Doubler�Hex�Integer�Floatr�Label�	Decoratorrrrr`�Functionr�Variable�Type�Class�tokens�rZrXrrsA����D��g�G�+�I�$�&@�A�I�	����J�N�%�M�0�M�
�:�4�)�z��
�T�N�
�g�'�'��3�
�z�	��+�v�.�
�+�v�.�
(�'�*:�*:�<L�M�
,�g�.>�.>��G�
/��1A�1A�6�J�
�z�(	�
�s�x�x�E�n�E�E�
E�
�
��F�K�K��(�
�6�=�=�(�+�
 �&�*�*�-�
����,�
�v�~�~�&�
#�V�\�\�2�
�F�L�L�)�
����-�
�v�~�~�&� ����,�
�=�
(�$�*�*�5�
�=�
(�$�*�*�5�
,�g�.>�.>��H�
%�w�'7�'7��A�
D�
�
�
�w�
(�
'��)9�)9�7�C��4�>�>�*�
�=�
(�*:�H�E�
�}�
$�k�2�
�}�
$�k�2�? 
�)z�j	�
�=�
(�*:�;�
�}�
$�o�v�>�
�}�
$�o�v�>�
�U�O�
�U�O�
�kz�~	��F�O�
�z�J	��L�!�$�W�%5�%5�w�?�
��!1�!1�
*�
,�
�L�!��F�O�
�U�O�
�Kz�f	��L�!�
�D�M�
�g�'�'��3�$�W�%5�%5�w�?�
��!1�!1�
&�
(��K��)�
'��)9�)9�
�
�
�L�!��F�O�
�U�O�%
�gz�R	�����$�Sz�T	�'�&�-�-�(�Uz�X	�
"�S�X�X�.A�%B�
B�D�&�Q�
�Yz�b	��L�!��J��
�}�
$�d�n�n�5��F�O�
�cz�t	��L�!�
�4�>�>�*�
�K��,�
�}�
$�d�m�m�V�<�
�}�
$�d�m�m�V�<�
�F�O�

�uz�N	��L�!�
�4�>�>�*�
�K��,�&3�]�
C�
�d�m�m�T�;�
7��
A�&3�]�
C�
�d�m�m�T�;�
7��
A�
�}�
$�d�m�m�V�<�
�}�
$�d�m�m�V�<�
�F�O�
�Oz�p	��L�!��J��
�4�>�>�*�
�K��,�
�-�
'��6I�J�
�}�
$�g�l�l�3�
�}�
$�g�l�l�3�
�U�F�#�
�qz�L	��L�!�
��!1�!1�3D�E��J���F�O�
�U�F�#�
�Mz�b	��L�!��J��
�4�>�>�*�
�K��,�
"�
�k�4��)9�)9�
:�F�
D�
�-�
'��
*�
,��}�
$�g�l�l�3�
�}�
$�g�l�l�3�
�U�F�#�
�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�
�Ez�j
�L�!�
 �=�
0�
�g�&�&��d�j�j�
9�
;�
 �=�
0�
�g�&�&��d�j�j�
9�
;�
�� 0� 0�1�*�M�
:�D�J�J�G��F�O�
�
�L�!�
�}�
$�d�j�j�&�9�
�}�
$�d�j�j�&�9�
�U�F�#�	
��D�M�
�g�'�'��3�
�4�>�>�*�
�D�!�
�;��
�K��(�
�D�!�	
���)�)�*�
�g�'�'��1�
�g�'�'��0�
�w�(�(�)�	
�iz�FrZrc���eZdZdZdZdZdgZgd�ZdgZdZ	dZ
d	Zd
ZdZ
dZd
Zdej"fdej"fdej"fgdefdej(j*fdej,dfdej.fdedfddj3e	�zefddj3e
ddd��zefde�de
�de��efddj3e�zej8fddj3e�zej:fdefd ej>fd!ej@fd"ejBfd#ejDfd$ejFfd%ejHfd&ejHfd'efd(ejJd)fd*ejLfgd+efd,ed-fd.ed/fd0efgd1ejJfe'd2�d3ejJfd(ejJd/fgdefd4e(fd5ej,fd6ej.d/fd7ed/fe)d/�gd8�Z*y)9rz<
    For the OCaml language.

    .. versionadded:: 0.7
    �OCamlzhttps://ocaml.org/�ocaml)z*.mlz*.mliz*.mllz*.mlyztext/x-ocaml)0rr�assert�begin�class�
constraintr�done�downtor'r r=�external�false�forr!�functionr9rrr�inherit�initializer�lazyr"rd�method�module�mutable�new�objectrr(�privater.r#r$r6r)�to�true�tryr*r%�virtual�whenr0r+))�!=r@�&�&&r�r��\*�\+rK�-�-\.rC�\.�\.\.rA�::�:=rDrL�;;�<�<-rB�>�>]�>\}�\?�\?\?�\[�\[<�\[>�\[\|rNrH�`�\{�\{<rF�\|]�\}�~�[!$%&*+\./:<=>?@^|~-])�asr�land�lor�lsl�lxor�mod�or�[!?~]�[=<>@^|&+\*/$%-]��unit�int�float�boolrr~�list�array�
\\[\\"\'ntbr]rR�\\x[0-9a-fA-F]{2}rp�false|true|\(\)|\[\]�\b([A-Z][\w\']*)(?=\s*\.)r��\b([A-Z][\w\']*)�\(\*(?![)])rr�\b(%s)\brwrvN���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}))'�'.'�'rSr�[~?][a-z][\w\']*:�[^(*)]+rqr�r�rTr��[^\\"]+�escape-sequence�\\\nr��[A-Z][\w\']*(?=\s*\.)�[A-Z][\w\']*�
[a-z_][\w\']*�rr�rrrr�)+r�r�r�r�r��urlr�r�r��keywords�keyopts�	operators�word_operators�prefix_syms�
infix_syms�
primitivesr
rUrr�Builtin�Pseudor`r�r	r�rr
�Wordr�rr�r��Oct�Binr�r�r�r�rrrr�r�rZrXrrcs`����D�
�C��i�G�3�I�� �I��H��G�)�I�G�N��K�$�J�T�J��v�}�}�-�
�F�M�M�*�
!�6�=�=�1�
��T�N�
$�d�l�l�&9�&9�:�
)�4�>�>�8�D�
 �$�*�*�-�
�W�i�0�
�3�8�8�H�-�
-�w�7�
�s�x�x���"��
�.�
.��9�(�+�y�
A�8�L�
�3�8�8�N�3�
3�X�]�]�C�
�3�8�8�J�/�
/����>�
�t�$�
8�&�,�,�G�
+�V�Z�Z�8�
!�6�:�:�.�
����,�
�&�.�.�)�
G�
�[�[�
�
�V�[�[�!�
�7�O�
�6�=�=�(�+�
!�4�=�=�1�7
�<��!�
�g�w�'�
�g�v�&�
�w��	
�����'��%�&�
�f�m�m�$�
�6�=�=�&�)�	
��T�N�
�K� �
%�t�~�~�6�
�d�j�j�&�1�
�t�V�,��F�O�

�_7�FrZrc���eZdZdZdZdgZdgZdgZdZdZ	dZ
d	Zid
dejfdejfd
ejfg�ddedfdefg�ded�defg�ded�eedd��efde	zdzej(j*fdej.fdej.fdej.fdej0fdej2fdej4fdej6fdej6fd ej8d!fd"ej:fd#ed$fd%ed&fd'ej>d(fd)ej@fd*e
zd+zej@fd,ejBfd-e
zd+zefd.e
zefd.ezefd/ed0fd1e	zejDfd2e	zej>fd3ej>fe	efg�d0ed�d4ejDfe#d5�g�d6ed�d7ejDd8fd9ejDd:fe	d7zejDd8fe	ejDd&fd1e	zejDfe#d&�g�d;ed�e#d<�g�d=ed�d>ejDd?fe#d&�g�d@ed�d4ejDdAfdBejDdCfe#d&�g�dDed�dEejDd;fd4ejDdAfe#d&�g�dFed�dGejDfdHejDfd7ejDd$fdIejDd&fg�dJed�dKejDfdHejDfd#ejDd$fd%ejDd&fg�ddLefded$fdMed&fdHefg�d!dNej8fd ej8d&fd#edfed
�g�dOdPej8fdQej8d&fd#edfed
�g�d(dRej>dSfdTej>dUfg�dVdWej>d&fg�defdXej>dYfdZej>d&fdTej>dUfgd1ej>d[fd ej>d\fd2e	zej>d&fd3ej>d]fd^ej>d&fd#ed]fgd_ed`fdaej>dbfdcej>d(fd#edfddej>fgdeed&fdfefgdg��Z$yh)irz@
    Lexer for the Opa language.

    .. versionadded:: 1.5
    �Opa�opaz*.opaz
text/x-opa)rrr�r&�client�css�database�dbrr'r r��forallr�r�importrdr�r��package�parserr#�serverr)r*r%r+�
xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z[()\[\],;|]rz
\\[\\"\'ntr}]rRr��commentsz/\*znested-commentz//.*?$zcomments-and-spacesrpr�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]+z
0[bB][01]+z\d+z#[\da-fA-F]{3,6}rSrz9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'r�r�r�rTz<(?=[a-zA-Z>])z
html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!rJz\b([A-Z]\w*)(?=\.)z=(?!z(%s)+rAr*rr@z#(?=\{)rC)rT�
type-lhs-1�type-with-slash�type-1r�)rT�
type-tuplez~?\{)rT�type-recordr0)rT�slash-type-1r1r4�/)rTr1r/)rTr*z(?=,))rT�
type-arrowr6z
,(?=[^:]*?->)r2z[^()/*]+z[/*]r�r3z[^{}/*]+�[^/*]+z\*/z[^\\"{]+�
single-stringz	[^\\\'{]+z\'z[\w\-:]+)rT�	html-attrr�)rT�html-content�html-end-tagz	[\w\-:]*>z	[\w\-:]+=�html-attr-valuez/>)rTr8)rTr)rTr�z[^"\'{`=<>]+z<!--�html-commentz</)rTr;r�z[^<{]+z-->z[^\-]+|-)r9r<r:r=N)%r�r�r�r�r�r�r�r�r�ident_re�op_re�punc_rer
rUr	rrrrrrrrr�r�rrr�r�r�r
�Singler�r`r�rr�r�rZrXrr�sj����D��g�G��	�I���I�
�H�-�H�"�E��G�c��
�v�}�}�-�
�F�M�M�*�
!�6�=�=�1�
�c�	�
�W�.�/�
�� �
�c�	��J��
�T�N� 
�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�(�
��
��*��8�V�$���\�7�<�<�(��(�]�F�M�M�*�
����'��t��cU
�%c�t	��)�*�
�G�L�L�!��=�>�
�uc�F	��)�*�
�G�L�L�"8�9�
�g�l�l�$;�<�
�e�^�W�\�\�+A�B�
�w�|�|�V�,�
��\�7�<�<�(�

�F�O�
�Gc�h	��)�*��6�7�
�ic�p	��)�*�
�'�,�,� 2�3��F�O�	
�qc�H	��)�*�
�G�L�L�"2�3�
�w�|�|�%;�<��F�O�	
�Ic�T	��)�*��w�|�|�->�?�
�G�L�L�"2�3��F�O�
�Uc�t	��)�*�
�'�,�,�'�
�g�l�l�#�
�G�L�L�'�*�
�G�L�L�&�)�
�uc�B	��)�*�
�'�,�,�'�
�g�l�l�#�
�G�L�L�'�*�
�G�L�L�&�)�
�Cc�x	�
�� �
�W�g�&�
�W�f�%�
�g��	
�yc�J	�
�&�-�-�(�
�6�=�=�&�)�
�H�f�%��%�&�	
�Kc�V	�
�6�=�=�)�
�F�M�M�6�*�
�H�f�%��%�&�	
�Wc�p	�
�&�-�-�)>�?�
�6�=�=�":�;�
�qc�~	�
�6�=�=�&�1�
�c�N�T�N�
�6�=�=�*;�<�
�F�M�M�6�*�
�6�=�=�":�;�	
��6�=�=�";�<�
�6�=�=�"4�5�
�(�]�F�M�M�6�2�
����(8�9�
�f�m�m�V�4�
�H�.�/�

��g�~�.�
�F�M�M�#;�<�
�6�=�=�/�2�
�H�f�%�
��
�
�&�
��W�f�%�
�'�"�
�c�FrZrc�j�eZdZdZdZdZddgZddgZdgZd	Z	d
Z
dZdZd
Z
dZdZdej"fdej"fdej"fgdefdej(j*fdej,dfdej.fdej2fdej4dfddj7e	�zefddj7e
ddd��zej<fd e�de
�d!e��efddj7e�zej<fddj7e�zej>fd"efd#e jBfd$e jDfd%e jFfd&e jHfd'e jJfd(ejLfd)ejLfd*efd+ejNd,fd-ejPfgd.ej4fd/ej4d0fd1ej4d2fd3ej4fgd4ejNfe)d5�d6ejNfd+ejNd2fgdefd7e*fd8ej,fd9ej.d2fd:ed2fe+d2�gd;�Z,y)<rz?
    For the ReasonML language.

    .. versionadded:: 2.6
    �ReasonMLzhttps://reasonml.github.io/�reasonml�reasonz*.rez*.reiztext/x-reasonml)0rr�r�r�r�rr�r�r'r r=r�r�r�r!�esfunr�r9rrrr�r�r�r"�switchr��pubr�r��nonrecr�rr(�prir#r$r6r)r�r�r�r*r%r�r�r0r+)+r�r@r�r�r�r�r�r�rKr�r�rEr�r�z\.\.\.rAr�r�rDrLr�r�r�rBr�r�r�r�r�r�r�r�r�rNrHr�r�r�rFz\|\|r�r�r�r�)	rr�r�r�r��lsrr�r�r�r�r�r�r�rRr�rpr�r�r�r�z//.*?\nz	\/\*(?!/)rrr�rwrvNr�rIr�r�rrrrrrrrrSrrr7z\/\*r�z\*\/rTr�r
rrr�r
rrr)-r�r�r�r�r�rr�r�r�rrrrrrrr
rUrrrrr`r�r	rAr�r�rr
rr�rr�r�rrr�r�r�r�rrrr�r�rZrXrrs�����D�
'�C��8�$�G���!�I�"�#�I��H��G�)�I�U�N��K�$�J�T�J��v�}�}�-�
�F�M�M�*�
!�6�=�=�1�
��T�N�
$�d�l�l�&9�&9�:�
)�4�>�>�8�D�
 �$�*�*�-�
����(�
�7�,�,�i�8�
�3�8�8�H�-�
-�w�7�
�s�x�x���"��
�.�
.��
�
�>�(�+�y�
A�8�L�
�3�8�8�N�3�
3�X�]�]�C�
�3�8�8�J�/�
/����>�
�t�$�
8�&�,�,�G�
+�V�Z�Z�8�
!�6�:�:�.�
����,�
�&�.�.�)�
G�
�[�[�
�
�V�[�[�!�
�7�O�
�6�=�=�(�+�
!�4�=�=�1�9
�>��)�)�*�
�g�'�'��1�
�g�'�'��0�
�G�%�%�&�	
�����'��%�&�
�f�m�m�$�
�6�=�=�&�)�	
��T�N�
�K� �
%�t�~�~�6�
�d�j�j�&�1�
�t�V�,��F�O�

�a8�FrZrc�>�eZdZdZdZdZdgZddgZdgZdZ	d	Z
d
ZdZdZ
d
ZdZdZdej$fdej$fdej$fgdefdej*j,fdej.dfdej0fdedfdefddj5e	�zefddj5e�zej8fddj5e
�zej:fddj5eddd��zefd e�de�d!e
��efddj5e�zej>fd"efd#e jBfd$e jDfd%e jFfd&e jHfd'e jJfd(ejLfd)ejLfd*efd+ejNfd,efd-ejPd.fd/ejRfgd0efd1ed2fd3ed4fd5efgd6ejPfe*d7�d8ejPfd-ejPd4fgdefd9e+fd:ej.fd;ej0d4fd<ed4fe,d4�gd=�Z-y)>rz8
    For the F* language.
    .. versionadded:: 2.7
    �FStarzhttps://www.fstar-lang.org/�fstarz*.fstz*.fstiztext/x-fstar)5�abstract�
attributes�noeq�unopteq�andbegin�byr�effectr'r �ensuresr=�existsr�r%r!r�rrr�inline�inline_for_extraction�irreducible�logicrdr�r�r��
new_effect�	noextractrr(�opaquer��range_of�	reifiable�reify�reflectable�requires�set_range_of�
sub_effect�synthr)�totalr�r�r*�unfold�
unfoldabler%r�r+�not)r"r#)�assume�admitr��calc)/r�r�z/\\z\\/z<:z<@z\(\|z\|\)r@zu#r�r�r�z\(\)rKz~>rCr�z<--z<==>z==>r�r�z\?\.z\.\[z\.\(z\.\(\|z\.\[\|z
\{:patternrAr�r�rLr�rBz%\[z!\{r�z\[@r�z\|>z\]z\|\]r�rFr�z\$r�r�r�r�r�rRr�rpzfalse|true|False|True|\(\)|\[\]r�r�r�r�rrz\/\/.+$r�rwrvNr�rIr�r�rrrrrrrrz\`([\w\'.]+)\`z\`rSrrr	rqr�r�rTr�r
rrr�r
rrr).r�r�r�r�r�rr�r�r�r�
decl_keywords�assume_keywordsrrrrrr
rUrrrrr`r�r	r�r�	Exception�Declarationr
r�rr�r�rrr�r�rr�r�rrrr�r�rZrXrr`s����
�D�
'�C��i�G��(�#�I�� �I�
�H�#�M�;�O��G�)�I��K�$�J�T�J��v�}�}�-�
�F�M�M�*�
!�6�=�=�1�
��T�N�
/����1D�1D�E�
)�4�>�>�8�D�
 �$�*�*�-�
�W�i�0�
��!�
�3�8�8�H�-�
-�w�7�
�3�8�8�O�4�
4�d�n�n�E�
�3�8�8�M�2�
2�G�4G�4G�H�
�s�x�x���"��
�.�
.��9�(�+�y�
A�8�L�
�3�8�8�J�/�
/����>�
�t�$�
8�&�,�,�G�
+�V�Z�Z�8�
!�6�:�:�.�
����,�
�&�.�.�)�
G�
�[�[�
�
�V�[�[�!�
�7�O�
��
�
�.�
�G��
�6�=�=�(�+�
!�4�=�=�1�=
�B��!�
�g�w�'�
�g�v�&�
�w��	
�����'��%�&�
�f�m�m�$�
�6�=�=�&�)�	
��T�N�
�K� �
%�t�~�~�6�
�d�j�j�&�1�
�t�V�,��F�O�

�e:�FrZr)r�ry�pygments.lexerrrrrr�pygments.tokenrr	r
rrr
rrr�__all__rrrrrr�rZrX�<module>rusv���
�H�H����N��L�z�L�^
Z��Z�z@�z�@�F
Z�*�Z�z`��`rZ