HEX
Server: Apache/2.4.67 (Debian)
System: Linux vps-b2547eb4 6.1.0-41-cloud-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.158-1 (2025-11-09) x86_64
User: root (0)
PHP: 8.2.31
Disabled: NONE
Upload Files
File: //lib/python3/dist-packages/pygments/lexers/__pycache__/ml.cpython-311.pyc
�

�E�c������dZddlZddlmZmZmZmZmZddlm	Z	m
Z
mZmZm
Z
mZmZmZmZgd�ZGd�de��ZGd�d	e��ZGd
�de��ZGd�d
e��ZGd�de��ZdS)z�
    pygments.lexers.ml
    ~~~~~~~~~~~~~~~~~~

    Lexers for ML family languages.

    :copyright: Copyright 2006-2022 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�Ziddefdejdfg�ddedfdedfdejdfdejdfdejdfg�ddd�d �e
D����zefd!ejd"fd#ejd$fd%ejfd&ejfd'ejfd(ejfd)ejfd*ejfd+ejfd,ej fd-ezej fd.ezej fd/ejd0fd1ejd2fd3ejd4fd5ejd6fd7ej!fd8ezed9fdezefdezefg�d9d8ezefdezedfdezedfde"fd:e"fg�d;e#d��g�de$d��d<ejd=fd>ejd?fe$d��e$d��d:e"fg�d@e$d��dAefdejdfdBejdCfdDejdEfdFedCfdGejdHfe$d��e$d��d:e"fg
�d"e
ej���d$e
ej���dIdJd�e��zedfg�d4e$d��e$dI��dezej%fe#d��g�dCe$d��d7ej!fdKedLfdezej&dfdezej&dfe#d��g�d=e$d��d7ej!fdKedLfdMe�dNe�dO�e'ej(ee��dfdMe�dNe�dO�e'ej(ee��dfdezej(dfdezej(dfe#d��g�d6e$d��e$dI��d7ej!fdKedLfdPezedQfdezej)fdezej)fd:e"dfg�dRe$d��dSejdTfe$dI��e$d��d:e"dfg�d0e$d��e$dI��d7ej!fdKedLfdUe'eeej��dfdPezedVfdezej)fdezej)fd:e"dfg	�dWe$d��dSejdXfdYejdTfdZejfd[eze'eeej*��fd\eze'eeej*��fe$dI��e$d��d:e"fg	�e$d��d]eze'ejeej*��fd^eze'ejeej*��fdZejfdMe�d_e�d`�ej*fe#d��ge$d��dezej*dfdezej*dfd:e"dfgdAefdejdfd7ej!feefdaefdbedfeefgdcejfdejddfdeejdfdfejfgdg��Z+dhS)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<sR��
��!�
��
�.� ���/�
�F�M�*�
!�6�=�1�
���)�
�8�V�$�
�	
�c#�(K�|�d��|jvrt}ntj}|�d��||�d��fV�|�d��t|�d��fV�dS)N��)�group�alphanumid_reservedrr�	Namespace�startr��self�match�tokens   rX�long_id_callbackzSMLLexer.long_id_callbackKs������;�;�q�>�>�T�5�5�5��E�E��N�E��k�k�!�n�n�e�U�[�[��^�^�3�3�3�3��k�k�!�n�n�k�5�;�;�q�>�>�9�9�9�9�9�9rZc#�K�|�d��|jvrt}n+|�d��|jvrt}nt}|�d��||�d��fV�dS�Nr\)r^r_r�symbolicid_reservedrrarbs   rX�end_id_callbackzSMLLexer.end_id_callbackSsv�����;�;�q�>�>�T�5�5�5��E�E�
�[�[��^�^�t�7�
7�
7��E�E��E��k�k�!�n�n�e�U�[�[��^�^�3�3�3�3�3�3rZc#��K�|�d��}||jvr
tj}n||jvrt
}nt}|�d��||fV�dSrh)r^r_r�Reservedrirrra)rcrd�strres    rX�id_callbackzSMLLexer.id_callback\sj�����k�k�!�n�n���$�*�*�*��$�E�E�
�D�,�
,�
,��E�E��E��k�k�!�n�n�e�S�(�(�(�(�(�(rZ�
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#�>K�|]}tj|��V��dS)N)�re�escape)�.0�zs  rX�	<genexpr>zSMLLexer.<genexpr>|s*����E�E���	�!���E�E�E�E�E�ErZz#"�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�rZrXrrs����������D��g�G�+�+�+�I�$�&@�A�I�	�	�	������J�I�I�N�%�M�0�M�
�
�
�:�:�:�4�4�4�)�)�)�z��
�T�N�
�g�'��3�
�z�	��+�v�.�
�+�v�.�
(�'�*:�<L�M�
,�g�.>��G�
/��1A�6�J�
�z�(	�
�s�x�x�E�E�n�E�E�E�E�E�
E�
�
��F�K��(�
�6�=�(�+�
 �&�*�-�
���,�
�v�~�&�
#�V�\�2�
�F�L�)�
���-�
�v�~�&� ���,�
�=�
(�$�*�5�
�=�
(�$�*�5�
,�g�.>��H�
%�w�'7��A�
D�
�
�w�
(�
'��)9�7�C��4�>�*�
�=�
(�*:�H�E�
�}�
$�k�2�
�}�
$�k�2�? 
�)z�j	�
�=�
(�*:�;�
�}�
$�o�v�>�
�}�
$�o�v�>�
�U�O�
�U�O�
�kz�~	��G�F�O�O�
�z�J	��G�L�!�!�$�W�%5�w�?�
��!1�
*�
,�
�G�L�!�!��G�F�O�O�
�U�O�
�Kz�f	��G�L�!�!�
�D�M�
�g�'��3�$�W�%5�w�?�
��!1�
&�
(��K��)�
'��)9�
�
�
�G�L�!�!��G�F�O�O�
�U�O�%
�gz�R	�����$�$�Sz�T	�'�'�&�-�(�(�Uz�X	�
"�S�X�X�.A�%B�%B�
B�D�&�Q�
�Yz�b	��G�L�!�!��G�J���
�}�
$�d�n�5��G�F�O�O�
�cz�t	��G�L�!�!�
�4�>�*�
�K��,�
�}�
$�d�m�V�<�
�}�
$�d�m�V�<�
�G�F�O�O�

�uz�N	��G�L�!�!�
�4�>�*�
�K��,�,�&3�m�m�]�]�]�
C�
�X�d�m�T�;�
7�
7��
A�
A�&3�m�m�]�]�]�
C�
�X�d�m�T�;�
7�
7��
A�
�}�
$�d�m�V�<�
�}�
$�d�m�V�<�
�G�F�O�O�
�Oz�p	��G�L�!�!��G�J���
�4�>�*�
�K��,�
�-�
'��6I�J�
�}�
$�g�l�3�
�}�
$�g�l�3�
�U�F�#�
�qz�L	��G�L�!�!�
��!1�3D�E��G�J����G�F�O�O�
�U�F�#�
�Mz�b	��G�L�!�!��G�J���
�4�>�*�
�K��,�
"�
�X�k�4��)9�
:�
:�F�
D�
�-�
'��
*�
,��}�
$�g�l�3�
�}�
$�g�l�3�
�U�F�#�
�cz�D	��G�L�!�!�
��!1�3D�E�
$�g�&6�8I�J�
�� 0�1�
�
�
-�
�X�k�4���
4�
4�
6�
�
�
-�
�X�k�4���
4�
4�
6�
�G�J����G�F�O�O�
�U�O�
�Ez�j
�G�L�!�!�
 �=�
0�
�X�g�&��d�j�
9�
9�
;�
 �=�
0�
�X�g�&��d�j�
9�
9�
;�
�� 0�1�1�*�]�]�M�M�M�
:�D�J�G��G�F�O�O�
�
�G�L�!�!�
�}�
$�d�j�&�9�
�}�
$�d�j�&�9�
�U�F�#�	
��D�M�
�g�'��3�
�4�>�*�
�D�!�
�;��
�K��(�
�D�!�	
���)�*�
�g�'��1�
�g�'��0�
�w�(�)�	
�iz�z�z�F�F�FrZrc�$�eZdZdZdZdZdgZgd�ZdgZdZ	dZ
d	Zd
ZdZ
dZd
Zdejfdejfdejfgdefdejjfdejdfdejfdedfdd�e	��zefdd�e
ddd���zefde�de
�de��efdd�e��zejfdd�e��zejfdefd ejfd!ej fd"ej!fd#ej"fd$ej#fd%ej$fd&ej$fd'efd(ej%d)fd*ej&fgd+efd,ed-fd.ed/fd0efgd1ej%fe'd2��d3ej%fd(ej%d/fgdefd4e(fd5ejfd6ejd/fd7ed/fe)d/��gd8�Z*dS)9rz<
    For the OCaml language.

    .. versionadded:: 0.7
    �OCamlzhttps://ocaml.org/�ocaml)z*.mlz*.mliz*.mllz*.mlyztext/x-ocaml)0r�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*�valuer%�virtual�whenr0r+))�!=r@�&�&&r�r��\*�\+rK�-�-\.rC�\.�\.\.rA�::�:=rDrL�;;�<�<-rB�>�>]�>\}�\?�\?\?�\[�\[<�\[>�\[\|rNrH�`�\{�\{<rF�\|]�\}�~�[!$%&*+\./:<=>?@^|~-])r�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\']*�rr�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�rZrXrrcsq���������D�
�C��i�G�3�3�3�I�� �I��H��G�)�I�N�N��K�$�J�T�J��v�}�-�
�F�M�*�
!�6�=�1�
��T�N�
$�d�l�&9�:�
)�4�>�8�D�
 �$�*�-�
�W�i�0�
�3�8�8�H�-�-�
-�w�7�
�s�x�x����"��
�.�.�
.��9�9�(�j�j�+�+�+�y�y�
A�8�L�
�3�8�8�N�3�3�
3�X�]�C�
�3�8�8�J�/�/�
/���>�
�t�$�
8�&�,�G�
+�V�Z�8�
!�6�:�.�
���,�
�&�.�)�
G�
�[�
�
�V�[�!�
�7�O�
�6�=�(�+�
!�4�=�1�7
�<��!�
�g�w�'�
�g�v�&�
�w��	
����'��G�%�&�&�
�f�m�$�
�6�=�&�)�	
��T�N�
�K� �
%�t�~�6�
�d�j�&�1�
�t�V�,��G�F�O�O�

�_7�7�F�F�FrZrc��eZdZdZdZdgZdgZdgZdZdZ	dZ
d	Zid
dej
fdej
fd
ej
fg�ddedfdefg�ded��defg�ded��eedd���efde	zdzejjfdejfdejfdejfdejfdejfdejfdejfdejfd ejd!fd"ejfd#ed$fd%ed&fd'ejd(fd)ej fd*e
zd+zej fd,ej!fd-e
zd+zefd.e
zefd.ezefd/ed0fd1e	zej"fd2e	zejfd3ejfe	efg�d0ed��d4ej"fe#d5��g�d6ed��d7ej"d8fd9ej"d:fe	d7zej"d8fe	ej"d&fd1e	zej"fe#d&��g�d;ed��e#d<��g�d=ed��d>ej"d?fe#d&��g�d@ed��d4ej"dAfdBej"dCfe#d&��g�dDed��dEej"d;fd4ej"dAfe#d&��g�dFed��dGej"fdHej"fd7ej"d$fdIej"d&fg�dJed��dKej"fdHej"fd#ej"d$fd%ej"d&fg�ddLefded$fdMed&fdHefg�d!dNejfd ejd&fd#edfed
��g�dOdPejfdQejd&fd#edfed
��g�d(dRejdSfdTejdUfg�dVdWejd&fg�defdXejdYfdZejd&fdTejdUfgd1ejd[fd ejd\fd2e	zejd&fd3ejd]fd^ejd&fd#ed]fgd_ed`fdaejdbfdcejd(fd#edfddejfgdeed&fdfefgdg��Z$dhS)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[()\[\],;|]rz
\\[\\"\'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-recordr1)rT�slash-type-1r2r5�/)rTr2r0)rTr*z(?=,))rT�
type-arrowr7z
,(?=[^:]*?->)r3z[^()/*]+z[/*]r�r4z[^{}/*]+�[^/*]+z\*/z[^\\"{]+�
single-stringz	[^\\\'{]+z\'z[\w\-:]+)rT�	html-attrr�)rT�html-content�html-end-tagz	[\w\-:]*>z	[\w\-:]+=�html-attr-valuez/>)rTr9)rTr)rTr�z[^"\'{`=<>]+z<!--�html-commentz</)rTr<r�z[^<{]+z-->z[^\-]+|-)r:r=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�sn���������D��g�G��	�I���I�
�H�-�H�"�E��G�c��
�v�}�-�
�F�M�*�
!�6�=�1�
�c�	�
�W�.�/�
�� �
�c�	��G�J���
�T�N� 
�c�$	��G�)�*�*�
�U�8�E�%�
8�
8�
8�'�B��H�_�u�
$�d�l�&9�:�(���6�
(�&�,�7�
"�F�L�1�
 �&�*�-�
�V�Z�(�
�F�J�'�
�V�^�$�
 �&�.�1��6�=�(�+�J�
�[�
��H�g�&�
�H�f�%���
��?�&�t�}�5��e�^�D�
 �$�-�0�#�D�N�3��U�]�4�
��)�
��
�x�(�
��
��*��8�V�$���\�7�<�(��(�]�F�M�*�
���'��t��cU
�%c�t	��G�)�*�*�
�G�L�!��G�=�>�>�
�uc�F	��G�)�*�*�
�G�L�"8�9�
�g�l�$;�<�
�e�^�W�\�+A�B�
�w�|�V�,�
��\�7�<�(�

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

��g�~�.�
�F�M�#;�<�
�6�=�/�2�
�H�f�%�
��
�&�
��W�f�%�
�'�"�
�c�c�c�F�F�FrZrc�r�eZdZdZdZdZddgZddgZdgZd	Z	d
Z
dZdZd
Z
dZdZdejfdejfdejfgdefdejjfdejdfdejfdejfdejdfdd�e	��zefdd�e
ddd���zejfd e�de
�d!e��efdd�e��zejfdd�e��zejfd"efd#e j!fd$e j"fd%e j#fd&e j$fd'e j%fd(ej&fd)ej&fd*efd+ej'd,fd-ej(fgd.ejfd/ejd0fd1ejd2fd3ejfgd4ej'fe)d5��d6ej'fd+ej'd2fgdefd7e*fd8ejfd9ejd2fd:ed2fe+d2��gd;�Z,dS)<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�rrrrrrrrrrSrr	r8z\/\*r�z\*\/rTr�rrr
r�rrrr)-r�r�r�r�r�rr�r�r�rrrrrrrr
rUrrrrr`r�r	rBr�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�*�
!�6�=�1�
��T�N�
$�d�l�&9�:�
)�4�>�8�D�
 �$�*�-�
���(�
�7�,�i�8�
�3�8�8�H�-�-�
-�w�7�
�s�x�x����"��
�.�.�
.��
�>�>�(�j�j�+�+�+�y�y�
A�8�L�
�3�8�8�N�3�3�
3�X�]�C�
�3�8�8�J�/�/�
/���>�
�t�$�
8�&�,�G�
+�V�Z�8�
!�6�:�.�
���,�
�&�.�)�
G�
�[�
�
�V�[�!�
�7�O�
�6�=�(�+�
!�4�=�1�9
�>��)�*�
�g�'��1�
�g�'��0�
�G�%�&�	
����'��G�%�&�&�
�f�m�$�
�6�=�&�)�	
��T�N�
�K� �
%�t�~�6�
�d�j�&�1�
�t�V�,��G�F�O�O�

�a8�8�F�F�FrZrc��eZdZdZdZdZdgZddgZdgZdZ	d	Z
d
ZdZdZ
d
ZdZdZdejfdejfdejfgdefdejjfdejdfdejfdedfdefdd�e	��zefdd�e��zejfdd�e
��zejfdd�eddd���zefd e�de�d!e
��efdd�e��zejfd"efd#e j!fd$e j"fd%e j#fd&e j$fd'e j%fd(ej&fd)ej&fd*efd+ej'fd,efd-ej(d.fd/ej)fgd0efd1ed2fd3ed4fd5efgd6ej(fe*d7��d8ej(fd-ej(d4fgdefd9e+fd:ejfd;ejd4fd<ed4fe,d4��gd=�Z-dS)>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�rrrrrrrrrz\`([\w\'.]+)\`z\`rSrr	r
rqr�r�rTr�rrr
r�rrrr).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�*�
!�6�=�1�
��T�N�
/���1D�E�
)�4�>�8�D�
 �$�*�-�
�W�i�0�
��!�
�3�8�8�H�-�-�
-�w�7�
�3�8�8�O�4�4�
4�d�n�E�
�3�8�8�M�2�2�
2�G�4G�H�
�s�x�x����"��
�.�.�
.��9�9�(�j�j�+�+�+�y�y�
A�8�L�
�3�8�8�J�/�/�
/���>�
�t�$�
8�&�,�G�
+�V�Z�8�
!�6�:�.�
���,�
�&�.�)�
G�
�[�
�
�V�[�!�
�7�O�
��
�.�
�G��
�6�=�(�+�
!�4�=�1�=
�B��!�
�g�w�'�
�g�v�&�
�w��	
����'��G�%�&�&�
�f�m�$�
�6�=�&�)�	
��T�N�
�K� �
%�t�~�6�
�d�j�&�1�
�t�V�,��G�F�O�O�

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