§
    XŠtjAŠ  ã                   óî   — d Z ddlZddlmZmZmZmZmZ ddlm	Z	m
Z
mZmZmZmZmZmZmZ g d¢Z G d„ de¦  «        Z G d„ d	e¦  «        Z G d
„ de¦  «        Z G d„ de¦  «        Z G d„ de¦  «        ZdS )zË
    pygments.lexers.ml
    ~~~~~~~~~~~~~~~~~~

    Lexers for ML family languages.

    :copyright: Copyright 2006-present 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                   ó|
  — e Zd ZdZdZdgZg d¢ZddgZdZdZ	h d	£Z
h d
£Zh d£ZdZdZd„ Zd„ Zd„ Zd„ Zi ddefdej        dfg“ddedfdedfdej        dfdej        dfdej        dfg“dd                      d!                     d"„ eD ¦   «         ¦  «        ¦  «        efd#ej        d$fd%ej        d&fd'ej        fd(ej        fd)ej         fd*ej!        fd+ej!        fd,ej!        fd-ej         fd.e"j#        fd/e› d0�e"j#        fd1e› d0�e"j#        fd2ej        d3fd4ej        d5fd6ej        d7fd8ej        d9fd:e"j$        fd;e› d<�ed=fd;e› d0�efd;e› d0�efg“d=d;e› d<�efd;e› d0�edfd;e› d0�edfde%fd>e%fg“d? e&d¦  «        g“d e'd¦  «        d@ej        dAfdBej        dCf e'd¦  «         e'd¦  «        d>e%fg“dD e'd¦  «        dEefdej        dfdFej        dGfdHej        dIfdJedGfdKej        dLf e'd¦  «         e'd¦  «        d>e%fg
“d$ eej        ¦  «        “d& eej        ¦  «        “dMdN                     d!                     e
¦  «        ¦  «        edfg“d7 e'd¦  «         e'dM¦  «        d;e› d0�e"j(        f e&d¦  «        g“dG e'd¦  «        d:e"j$        fdOedPfd;e› d0�e"j)        dfd;e› d0�e"j)        df e&d¦  «        g“dA e'd¦  «        d:e"j$        fdOedPfd;e› dQe› dR� e*e"j+        ee¦  «        dfd;e› dQe› dR� e*e"j+        ee¦  «        dfd;e› d0�e"j+        dfd;e› d0�e"j+        df e&d¦  «        g“d9 e'd¦  «         e'dM¦  «        d:e"j$        fdOedPfdSe› d0�edTfd;e› d0�ej,        fd;e› d0�ej,        fd>e%dfg“dU e'd¦  «        dVej        dWf e'dM¦  «         e'd¦  «        d>e%dfg“d3 e'd¦  «         e'dM¦  «        d:e"j$        fdOedPfdX e*eeej        ¦  «        dfdSe› d0�edYfd;e› d0�ej,        fd;e› d0�ej,        fd>e%dfg	“dZ e'd¦  «        dVej        d[fd\ej        dWfd]ej        fd^e› d0� e*eee"j-        ¦  «        fd_e› d0� e*eee"j-        ¦  «        f e'dM¦  «         e'd¦  «        d>e%fg	“ e'd¦  «        d`e› d0� e*ej        ee"j-        ¦  «        fdae› d0� e*ej        ee"j-        ¦  «        fd]ej        fd;e› dbe› d0�e"j-        f e&d¦  «        g e'd¦  «        d;e› d0�e"j-        dfd;e› d0�e"j-        dfd>e%dfgdEefdej        dfd:e"j$        fee"fdcefddedfee"fgdeej        fdej        dffdgej        dfdhej        fgdiœ¥Z.djS )kr   z'
    For the Standard ML language.
    zStandard MLÚsml)z*.smlz*.sigz*.funztext/x-standardmlzapplication/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>   ú#ú:ú=ú->ú:>ú=>ú\|>
   ú...Ú_Ú{Ú}ú(ú)ú,ú;ú[ú]z[a-zA-Z][\w']*z[!%&$#+\-/:<=>?@\\~`^|*]+c           	      ó–   — d| fdt           j        fdt           j        fdt           j        fdt           j        fdt           j        fd| dfgS )	Nz[^"\\]z\\[\\"abtnvfr]z\\\^[\x40-\x5e]ú
\\[0-9]{3}z\\u[0-9a-fA-F]{4}z\\\s+\\ú"ú#pop)r   ÚEscapeÚInterpol)Úwhatkinds    úP/var/www/html/CA-Chatbot/venv/lib/python3.11/site-packages/pygments/lexers/ml.pyÚstringyzSMLLexer.stringy<   sR   € à˜Ð!Ø¥¤Ð.ð  ¥¤Ð/à�FœMÐ*Ø!¥6¤=Ð1Ø�œÐ)Ø�8˜VÐ$ð
ð 	
ó    c              #   ó(  K  — |                      d¦  «        | j        v rt          }nt          j        }|                     d¦  «        ||                      d¦  «        fV — |                     d¦  «        t          |                      d¦  «        fV — d S )Né   é   )ÚgroupÚalphanumid_reservedr   r   Ú	NamespaceÚstartr   ©ÚselfÚmatchÚtokens      rY   Úlong_id_callbackzSMLLexer.long_id_callbackK   s€   è è € Ø�;Š;�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Ð9r[   c              #   ó  K  — |                      d¦  «        | j        v rt          }n+|                      d¦  «        | j        v rt          }nt          }|                     d¦  «        ||                      d¦  «        fV — d S ©Nr]   )r_   r`   r   Úsymbolicid_reservedr   rb   rc   s      rY   Úend_id_callbackzSMLLexer.end_id_callbackS   sv   è è € Ø�;Š;�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Ð3r[   c              #   óÄ   K  — |                      d¦  «        }|| j        v rt          j        }n|| j        v rt
          }nt          }|                     d¦  «        ||fV — d S ri   )r_   r`   r   ÚReservedrj   r   r   rb   )rd   re   Ústrrf   s       rY   Úid_callbackzSMLLexer.id_callback\   sj   è è € Ø�kŠk˜!‰nŒnˆØ�$Ô*Ð*Ð*ÝÔ$ˆEˆEØ�DÔ,Ð,Ð,ÝˆEˆEåˆEØ�kŠk˜!‰nŒn˜e SÐ(Ð(Ð(Ð(Ð(Ð(r[   Ú
whitespaceú\s+ú\(\*ÚcommentÚ
delimitersz\(|\[|\{Úmainz\)|\]|\}rU   z\b(let|if|local)\b(?!\'))ru   ru   z\b(struct|sig|while)\b(?!\')z\b(do|else|end|in|then)\b(?!\')Úcoreú({})ú|c              #   ó>   K  — | ]}t          j        |¦  «        V — Œd S )N)ÚreÚescape)Ú.0Úzs     rY   ú	<genexpr>zSMLLexer.<genexpr>|   s*   è è € Ð$JÐ$J°a¥R¤Y¨q¡\¤\Ð$JÐ$JÐ$JÐ$JÐ$JÐ$Jr[   z#"ÚcharrT   Ústringz~?0x[0-9a-fA-F]+z0wx[0-9a-fA-F]+z0w\d+z~?\d+\.\d+[eE]~?\d+z
~?\d+\.\d+z~?\d+[eE]~?\d+z~?\d+z#\s*[1-9][0-9]*z#\s*(rM   z#\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\']*rL   z)(\.)Údottedz\S+Úrootz\b(val|and)\b(?!\')Úvnamez\b(fun)\b(?!\'))rU   úmain-funÚfnamerˆ   z\sz\b(fun|and)\b(?!\')r‰   z\b(val)\b(?!\'))rU   ru   r‡   rG   z\b(case|handle)\b(?!\'))rU   ru   Úbreakoutz(?=\b({})\b(?!\'))ú\(Útyvarseqz)(\s*)(=(?!z))ú=(?!)rU   ÚtypbindrŽ   z\b(and)\b(?!\'))rU   r„   z(=)(\s*)(datatype))rU   ÚdatbindÚdatconr�   )rU   r�   z\b(withtype)\b(?!\')z\b(of)\b(?!\')z
(\|)(\s*)(z
(\|)(\s+)(z(and\b)(\s+)(z(and\b)(\s*)(z)|(rN   ú\)z[^(*)]ú#pushú\*\)ú[(*)])r‚   r�   rŒ   rs   N)/Ú__name__Ú
__module__Ú__qualname__Ú__doc__ÚnameÚaliasesÚ	filenamesÚ	mimetypesÚurlÚversion_addedr`   rj   Únonid_reservedÚalphanumid_reÚsymbolicid_rerZ   rg   rk   ro   r   r	   Ú	Multiliner   r   rm   ÚformatÚjoinr   ÚCharÚDoubler   ÚHexÚIntegerÚFloatr   ÚLabelÚ	Decoratorr   r   r   ra   ÚFunctionr   ÚVariableÚTypeÚClassÚtokens© r[   rY   r   r      sž	  € € € € € ðð ð €DØˆg€GØ+Ð+Ð+€IØ$Ð&@ÐA€IØ
5€CØ€Mð	ð 	ð 	Ððð ð Ðð 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ð( 	à�^Š^˜CŸHšHÐ$JÐ$J¸>Ð$JÑ$JÔ$JÑJÔJÑKÔKØðð �F”K Ð(Ø�6”= (Ð+Ø  &¤*Ð-Ø ¤Ð,Ø�v”~Ð&Ø# V¤\Ð2Ø˜FœLÐ)Ø ¤Ð-Ø�v”~Ð&ð   ¤Ð,Ø&�mÐ&Ð&Ð&¨¬
Ð3Ø&�mÐ&Ð&Ð&¨¬
Ð3à,¨gÔ.>ÀÐHØ% wÔ'7¸ÐAØDØÔ˜wð(à'¨Ô)9¸7ÐCð ˜4œ>Ð*Ø&�-Ð&Ð&Ð&Ð(8¸(ÐCØ"�-Ð"Ð"Ð" KÐ0Ø"�-Ð"Ð"Ð" KÐ0ð? 
ð)zðj 	Ø&�-Ð&Ð&Ð&Ð(8Ð9Ø"�-Ð"Ð"Ð" O°VÐ<Ø"�-Ð"Ð"Ð" O°VÐ<Ø�UˆOØ�UˆOð
ðkzð~ 	ØˆG�F‰OŒOð
ðzðJ 	ØˆG�LÑ!Ô!ð $ WÔ%5°wÐ?Ø Ô!1Ø*ð,ð ˆG�LÑ!Ô!ØˆG�F‰OŒOØ�UˆOð
ðKzðf 	ØˆG�LÑ!Ô!à�DˆMØ�gÔ'¨Ð3ð $ WÔ%5°wÐ?Ø Ô!1Ø&ð(ð �K Ð)Ø'¨Ô)9Øðð ˆG�LÑ!Ô!ØˆG�F‰OŒOØ�UˆOð%
ðgzðR 	��˜œÑ$Ô$ðSzðT 	�'�'˜&œ-Ñ(Ô(ðUzðX 	Ø"×)Ò)¨#¯(ª(Ð3FÑ*GÔ*GÑHÔHÈ$ÐPVÐWð
ðYzðb 	ØˆG�LÑ!Ô!ØˆG�JÑÔà"�-Ð"Ð"Ð" D¤NÐ3ØˆG�F‰OŒOð
ðczðt 	ØˆG�LÑ!Ô!Ø˜4œ>Ð*Ø�K Ð,à"�-Ð"Ð"Ð" D¤M°6Ð:Ø"�-Ð"Ð"Ð" D¤M°6Ð:ð ˆG�F‰OŒOð

ðuzðN 	ØˆG�LÑ!Ô!Ø˜4œ>Ð*Ø�K Ð,à=�-Ð=Ð=¨MÐ=Ð=Ð=ØˆX�d”m T¨;Ñ7Ô7¸ðAà=�-Ð=Ð=¨MÐ=Ð=Ð=ØˆX�d”m T¨;Ñ7Ô7¸ðAà"�-Ð"Ð"Ð" D¤M°6Ð:Ø"�-Ð"Ð"Ð" D¤M°6Ð:ð ˆG�F‰OŒOð
ðOzðp 	ØˆG�LÑ!Ô!ØˆG�JÑÔà˜4œ>Ð*Ø�K Ð,Ø%�]Ð%Ð%Ð% {Ð4GÐHà"�-Ð"Ð"Ð" G¤LÐ1Ø"�-Ð"Ð"Ð" G¤LÐ1Ø�U˜FÐ#ð
ðqzðL 	ØˆG�LÑ!Ô!à Ô!1Ð3DÐEàˆG�JÑÔØˆG�F‰OŒOØ�U˜FÐ#ð
ðMzðb 	ØˆG�LÑ!Ô!ØˆG�JÑÔà˜4œ>Ð*Ø�K Ð,Ø"ØˆX�k 4¨Ô)9Ñ:Ô:¸FðDà%�]Ð%Ð%Ð% {Ø*ð,ð #�-Ð"Ð"Ð" G¤LÐ1Ø"�-Ð"Ð"Ð" G¤LÐ1Ø�U˜FÐ#ð
ðczð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ð
ðEzðj ˆG�LÑ!Ô!à.˜mÐ.Ð.Ð.ØˆX�gÔ&¨¨d¬jÑ9Ô9ð;à.˜mÐ.Ð.Ð.ØˆX�gÔ&¨¨d¬jÑ9Ô9ð;à Ô 0Ð1Ø4�-Ð4Ð4 MÐ4Ð4Ð4°d´jÐAàˆG�F‰OŒOð
ð ˆG�LÑ!Ô!Ø"�-Ð"Ð"Ð" D¤J°Ð7Ø"�-Ð"Ð"Ð" D¤J°Ð7Ø�U˜FÐ#ð	
ð �DˆMØ�gÔ'¨Ð3à˜4œ>Ð*Ø˜DÐ!Ø�;ÐØ�K Ð(Ø˜DÐ!ð	
ð ˜Ô)Ð*Ø�gÔ'¨Ð1Ø�gÔ'¨Ð0Ø�wÔ(Ð)ð	
ðizð zð z€F€F€Fr[   r   c                   ó¨  — e Zd ZdZdZdZdgZg d¢ZdgZdZ	dZ
d	Zd
ZdZdZdZdZdej        fdej        fdej        fgdefdej        j        fdej        dfdej        fdedfd                     d                     e
¦  «        ¦  «        efd                     d                     eddd…         ¦  «        ¦  «        efde› de› de› �efd                     d                     e¦  «        ¦  «        ej        fd                     d                     e¦  «        ¦  «        ej        fd efd!e j!        fd"e j"        fd#e j#        fd$e j$        fd%e j%        fd&ej&        fd'ej&        fd(efd)ej'        d*fd+ej(        fgd,efd-ed.fd/ed0fd1efgd2ej'        f e)d3¦  «        d4ej'        fd)ej'        d0fgdefd5e*fd6ej        fd7ej        d0fd8ed0f e+d0¦  «        gd9œZ,dS ):r   z!
    For the OCaml language.
    ÚOCamlzhttps://ocaml.org/Úocaml)z*.mlz*.mliz*.mllz*.mlyztext/x-ocamlz0.7)0r    r   ÚassertÚbeginÚclassÚ
constraintr   ÚdoneÚdowntor(   r!   r>   ÚexternalÚfalseÚforr"   Úfunctionr:   r   r   r   ÚinheritÚinitializerÚlazyr#   re   ÚmethodÚmoduleÚmutableÚnewÚobjectr   r)   Úprivater/   r$   r%   r7   r*   ÚtoÚtrueÚtryr+   r&   ÚvirtualÚwhenr1   r,   ))ú!=rA   ú&ú&&r‹   r‘   ú\*ú\+rN   ú-ú-\.rD   ú\.ú\.\.rB   ú::ú:=rE   rO   ú;;ú<ú<-rC   ú>ú>]ú>\}ú\?ú\?\?ú\[ú\[<ú\[>ú\[\|rQ   rI   ú`ú\{ú\{<rG   ú\|]ú\}ú~ú[!$%&*+\./:<=>?@^|~-])ÚasrÚlandÚlorÚlslÚlxorÚmodÚorú[!?~]ú[=<>@^|&+\*/$%-]©ÚunitÚintÚfloatÚboolr€   r   ÚlistÚarrayú\\[\\"\'ntbr]rS   ú\\x[0-9a-fA-F]{2}rq   úfalse|true|\(\)|\[\]ú\b([A-Z][\w\']*)(?=\s*\.)r…   ú\b([A-Z][\w\']*)ú\(\*(?![)])rs   ú\b({})\brx   rw   NéÿÿÿÿrL   ú)?ú[^\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}))'ú'.'ú'rT   r€   ú[~?][a-z][\w\']*:ú[^(*)]+rr   r’   r“   rU   r”   ú[^\\"]+úescape-sequenceú\\\nrÔ   ú[A-Z][\w\']*(?=\s*\.)ú[A-Z][\w\']*ú[a-z_][\w\']*©r  r†   rs   r€   r…   )-r•   r–   r—   r˜   r™   r�   rš   r›   rœ   rž   ÚkeywordsÚkeyoptsÚ	operatorsÚword_operatorsÚprefix_symsÚ
infix_symsÚ
primitivesr   rV   r   r   ÚBuiltinÚPseudora   r¯   r	   r£   r¤   r   r
   ÚWordr®   r   r©   r§   ÚOctÚBinr¨   r¥   r¦   r­   r   r   r   r°   r±   r[   rY   r   r   c  sœ  € € € € € ðð ð €DØ
€CØˆi€GØ3Ð3Ð3€IØÐ €IØ€Mð€Hð€Gð )€IØG€NØ€KØ$€JØT€Jð ˜vœ}Ð-Ø˜FœMÐ*Ø! 6¤=Ð1ð
ð �TˆNØ$ d¤lÔ&9Ð:Ø)¨4¬>¸8ÐDØ  $¤*Ð-Ø˜W iÐ0Ø×Ò §¢¨Ñ 2Ô 2Ñ3Ô3°WÐ=Ø�^Š^˜CŸHšH W¨T¨T¨r¨T¤]Ñ3Ô3Ñ4Ô4°hÐ?Ø9�*Ð9Ð9˜{Ð9Ð9¨iÐ9Ð9¸8ÐDØ×Ò §¢¨Ñ 8Ô 8Ñ9Ô9¸8¼=ÐIØ×Ò §¢¨Ñ 4Ô 4Ñ5Ô5°w´|ÐDà˜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€Fr[   r   c                   ó  — e Zd ZdZdZdgZdgZdgZdZdZ	dZ
d	Zd
ZdZi ddej        fdej        fdej        fg“ddedfdefg“d ed¦  «        defg“d ed¦  «         ee
dd¬¦  «        efdez   dz   ej        j        fdej        fdej        fdej        fdej        fdej        fdej        fd ej        fd!ej        fd"ej        d#fd$ej        fd%e d&fd'e d(fd)ej!        d*fd+ej"        fd,ez   d-z   ej"        fd.ej#        fd/ez   d-z   efd0e› d1�e fd0e› d1�e fd2e d3fd4ez   ej$        fd5ez   ej!        fd6ej!        feefg“d3 ed¦  «        d7ej$        f e%d8¦  «        g“d9 ed¦  «        d:ej$        d;fd<ej$        d=fed:z   ej$        d;feej$        d(fd4ez   ej$        f e%d(¦  «        g“d> ed¦  «         e%d?¦  «        g“d@ ed¦  «        dAej$        dBf e%d(¦  «        g“dC ed¦  «        d7ej$        dDfdEej$        dFf e%d(¦  «        g“dG ed¦  «        dHej$        d>fd7ej$        dDf e%d(¦  «        g“dI ed¦  «        dJej$        fdKej$        fd:ej$        d&fdLej$        d(fg“dM ed¦  «        dNej$        fdKej$        fd%ej$        d&fd'ej$        d(fg“ddOefded&fdPed(fdKefg“d#dQej        fd"ej        d(fd%e df ed¦  «        g“dRdSej        fdTej        d(fd%e df ed¦  «        g“d*dUej!        dVfdWej!        dXfg“dYdZej!        d(fg“defd[ej!        d\fd]ej!        d(fdWej!        dXfgd4ej!        d^fd"ej!        d_fd5ez   ej!        d(fd6ej!        d`fdaej!        d(fd%e d`fgdbedcfddej!        defdfej!        d*fd%e dfdgej!        fgdhed(fdiefgdjœ¥Z&dkS )lr   z%
    Lexer for the Opa language.
    ÚOpaÚopaz*.opaz
text/x-opazhttp://opalang.orgr   )r    r   r¶   r'   ÚclientÚcssÚdatabaseÚdbr   r(   r!   r»   Úforallr¾   r   Úimportre   rÃ   rñ   ÚpackageÚparserr$   Úserverr*   r+   r&   r,   Ú
xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z[()\[\],;|]r  z\\[\\"\'ntr}]rS   rü   Úcommentsz/\*znested-commentz//.*?$zcomments-and-spacesrq   r†   z\b)ÚprefixÚsuffixú@z-?.[\d]+([eE][+\-]?\d+)z-?\d+.\d*([eE][+\-]?\d+)z-?\d+[eE][+\-]?\d+z0[xX][\da-fA-F]+z0[oO][0-7]+z
0[bB][01]+z\d+z#[\da-fA-F]{3,6}rT   r€   z9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'rå   r’   rè   rU   z<(?=[a-zA-Z>])zhtml-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!rM   z\b([A-Z]\w*)(?=\.)r�   rL   z)+rB   r+   r  rA   z#(?=\{)rD   )rU   ú
type-lhs-1útype-with-slashútype-1r‹   )rU   ú
type-tuplez~?\{)rU   útype-recordr4  )rU   úslash-type-1r5  r8  ú/)rU   r5  r3  )rU   r+   z(?=,))rU   ú
type-arrowr:  z,(?=[^:]*?->)r6  z[^()/*]+z[/*]r‘   r7  z[^{}/*]+ú[^/*]+z\*/z[^\\"{]+úsingle-stringz	[^\\\'{]+z\'z[\w\-:]+)rU   ú	html-attrrÛ   )rU   úhtml-contentúhtml-end-tagz	[\w\-:]*>z	[\w\-:]+=úhtml-attr-valuez/>)rU   r<  )rU   r€   )rU   r†   z[^"\'{`=<>]+z<!--úhtml-commentz</)rU   r?  rÙ   z[^<{]+z-->z[^\-]+|-)r=  r@  r>  rA  N)'r•   r–   r—   r˜   r™   rš   r›   rœ   r�   rž   r  Úident_reÚop_reÚpunc_rer   rV   r	   r   r   r   r   r   r  r  r   r©   r§   r   r!  r¨   r¦   r¥   r
   ÚSingler­   ra   r®   r   r°   r±   r[   rY   r   r   ¿  s�  € € € € € ðð ð €DØˆg€GØ�	€IØ�€IØ
€CØ€Mð
€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Ð&Ø�'ÐÐÐ˜xÐ(ð �8˜VÐ$ð �‰\˜7œ<Ð(ð �(‰]˜FœMÐ*Ø˜œÐ'ð �tÐðcU
ð%cðt 	ØˆGÐ)Ñ*Ô*Ø�G”LÐ!ØˆGÐ=Ñ>Ô>ð
ðucðF 	ØˆGÐ)Ñ*Ô*Ø�G”LÐ"8Ð9Ø�g”lÐ$;Ð<Ø�e‰^˜Wœ\Ð+AÐBØ�w”| VÐ,Ø�‰\˜7œ<Ð(ð
 ˆG�F‰OŒOð
ðGcðh 	ØˆGÐ)Ñ*Ô*ØˆGÐ6Ñ7Ô7ð
ðicðp 	ØˆGÐ)Ñ*Ô*Ø�'”,Ð 2Ð3àˆG�F‰OŒOð	
ðqcðH 	ØˆGÐ)Ñ*Ô*Ø�G”LÐ"2Ð3Ø�w”|Ð%;Ð<ØˆG�F‰OŒOð	
ðIcðT 	ØˆGÐ)Ñ*Ô*ð ˜wœ|Ð->Ð?Ø�G”LÐ"2Ð3àˆG�F‰OŒOð
ðUcðt 	ØˆGÐ)Ñ*Ô*Ø˜'œ,Ð'Ø�g”lÐ#Ø�G”L 'Ð*Ø�G”L &Ð)ð
ðucðB 	ØˆGÐ)Ñ*Ô*Ø˜'œ,Ð'Ø�g”lÐ#Ø�G”L 'Ð*Ø�G”L &Ð)ð
ðCcðx 	Ø˜Ð Ø�W˜gÐ&Ø�W˜fÐ%Ø�gÐð	
ðycðJ 	Ø˜&œ-Ð(Ø�6”= &Ð)Ø�H˜fÐ%ØˆGÐ%Ñ&Ô&ð	
ðKcðV 	Ø˜6œ=Ð)Ø�F”M 6Ð*Ø�H˜fÐ%ØˆGÐ%Ñ&Ô&ð	
ðWcðp 	Ø˜&œ-Ð)>Ð?Ø�6”=Ð":Ð;ð
ðqcð~ 	à˜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€Fr[   r   c                   óö  — e Zd ZdZdZdZddgZddgZdgZd	Z	d
Z
dZdZdZdZdZdZdej        fdej        fdej        fgdefdej        j        fdej        dfdej        fdej        fdej        dfd                     d                     e
¦  «        ¦  «        efd                     d                     eddd …         ¦  «        ¦  «        ej         fd!e› de› d"e› �efd                     d                     e¦  «        ¦  «        ej         fd                     d                     e¦  «        ¦  «        ej!        fd#efd$e"j#        fd%e"j$        fd&e"j%        fd'e"j&        fd(e"j'        fd)ej(        fd*ej(        fd+efd,ej)        d-fd.ej*        fgd/ej        fd0ej        d1fd2ej        d3fd4ej        fgd5ej)        f e+d6¦  «        d7ej)        fd,ej)        d3fgdefd8e,fd9ej        fd:ej        d3fd;ed3f e-d3¦  «        gd<œZ.dS )=r   z$
    For the ReasonML language.
    ÚReasonMLzhttps://reasonml.github.io/ÚreasonmlÚreasonz*.rez*.reiztext/x-reasonmlz2.6)0r   rµ   r¶   r·   r¸   r   r¹   rº   r(   r!   r>   r»   r¼   r½   r"   Úesfunr¾   r:   r   r   r   r¿   rÀ   rÁ   r#   ÚswitchrÃ   ÚpubrÄ   rÅ   ÚnonrecrÆ   r   r)   Úprir$   r%   r7   r*   rÈ   rÉ   rÊ   r+   r&   rË   rÌ   r1   r,   )+rÍ   rA   rÎ   rÏ   r‹   r‘   rÐ   rÑ   rN   rÒ   rÓ   rF   rÔ   rÕ   z\.\.\.rB   rÖ   r×   rE   rO   rØ   rÙ   rÚ   rC   rÛ   rÜ   rÝ   rÞ   rß   rà   rá   râ   rã   rQ   rI   rä   rå   ræ   rG   z\|\|rç   rè   ré   rê   )	r    rë   rì   rí   rî   Úlsrrï   rð   rñ   rò   ró   rô   rû   rS   rü   rq   rý   rþ   r…   rÿ   z//.*?\nz	\/\*(?!/)rs   r  rx   rw   Nr  rL   r  r  r  r  r  r  r	  r
  r  r  rT   r€   r  r;  z\/\*r’   z\*\/rU   rÐ   r  r  r  rÔ   r  r  r  r  )/r•   r–   r—   r˜   r™   r�   rš   r›   rœ   rž   r  r  r  r  r  r  r  r   rV   r   r   r  r  ra   r¯   r	   rE  r¢   r£   r¤   r   r
   r  r®   r   r©   r§   r   r!  r¨   r¥   r¦   r­   r   r   r   r°   r±   r[   rY   r   r     s¹  € € € € € ðð ð €DØ
'€CØ˜8Ð$€GØ˜Ð!€IØ"Ð#€IØ€Mð€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Ø×Ò §¢¨Ñ 2Ô 2Ñ3Ô3°WÐ=Ø�^Š^˜CŸHšH W¨T¨T¨r¨T¤]Ñ3Ô3Ñ4Ô4°h´mÐDØ9�*Ð9Ð9˜{Ð9Ð9¨iÐ9Ð9¸8ÐDØ×Ò §¢¨Ñ 8Ô 8Ñ9Ô9¸8¼=ÐIØ×Ò §¢¨Ñ 4Ô 4Ñ5Ô5°w´|ÐDà˜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ð
ða8ð 8€F€F€Fr[   r   c                   ó$  — e Zd ZdZdZdZdgZddgZdgZdZ	d	Z
d
ZdZdZdZdZdZdZdej        fdej        fdej        fgdefdej        j        fdej        dfdej        fdedfdefd                     d                     e
¦  «        ¦  «        efd                     d                     e¦  «        ¦  «        ej        fd                     d                     e¦  «        ¦  «        ej        fd                     d                     eddd …         ¦  «        ¦  «        e fd!e› de› d"e› �e fd                     d                     e¦  «        ¦  «        ej!        fd#efd$e"j#        fd%e"j$        fd&e"j%        fd'e"j&        fd(e"j'        fd)ej(        fd*ej(        fd+efd,e j)        fd-efd.ej*        d/fd0ej+        fgd1efd2ed3fd4ed5fd6efgd7ej*        f e,d8¦  «        d9ej*        fd.ej*        d5fgdefd:e-fd;ej        fd<ej        d5fd=ed5f e.d5¦  «        gd>œZ/dS )?r   z
    For the F* language.
    ÚFStarzhttps://www.fstar-lang.org/Úfstarz*.fstz*.fstiztext/x-fstarz2.7)5ÚabstractÚ
attributesÚnoeqÚunopteqÚandbeginÚbyr   Úeffectr(   r!   Úensuresr>   Úexistsr¼   r)  r"   r¾   r   r   r   ÚinlineÚinline_for_extractionÚirreducibleÚlogicre   rÃ   rÄ   rÅ   Ú
new_effectÚ	noextractr   r)   Ú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\|\)rA   zu#rÎ   r‹   r‘   z\(\)rN   z~>rD   rÚ   z<--z<==>z==>rÔ   rÞ   z\?\.z\.\[z\.\(z\.\(\|z\.\[\|z
\{:patternrB   rÖ   r×   rO   rØ   rC   z%\[z!\{rà   z\[@rã   z\|>z\]z\|\]rå   rG   rè   z\$rê   rò   ró   rô   rû   rS   rü   rq   zfalse|true|False|True|\(\)|\[\]rþ   r…   rÿ   r   rs   z\/\/.+$r  rx   rw   Nr  rL   r  r  r  r  r  r  r	  r
  r  r  z\`([\w\'.]+)\`z\`rT   r€   r  r  rr   r’   r“   rU   r”   r  r  r  rÔ   r  r  r  r  )0r•   r–   r—   r˜   r™   r�   rš   r›   rœ   rž   r  Údecl_keywordsÚassume_keywordsr  r  r  r  r  r   rV   r   r   r  r  ra   r¯   r	   r£   r¤   r   Ú	ExceptionÚDeclarationr
   r®   r   r©   r§   r   r!  r¨   r¥   r  r¦   r­   r   r   r   r°   r±   r[   rY   r   r   ^  sâ  € € € € € ðð ð €DØ
'€CØˆi€GØ˜(Ð#€IØÐ €IØ€Mð
€Hð #€MØ;€Oð€Gð )€IØ€KØ$€JØT€Jð ˜vœ}Ð-Ø˜FœMÐ*Ø! 6¤=Ð1ð
ð �TˆNØ/°´Ô1DÐEØ)¨4¬>¸8ÐDØ  $¤*Ð-Ø˜W iÐ0Ø˜Ð!Ø×Ò §¢¨Ñ 2Ô 2Ñ3Ô3°WÐ=Ø×Ò §¢¨Ñ 9Ô 9Ñ:Ô:¸D¼NÐKØ×Ò §¢¨Ñ 7Ô 7Ñ8Ô8¸'Ô:MÐNØ�^Š^˜CŸHšH W¨T¨T¨r¨T¤]Ñ3Ô3Ñ4Ô4°hÐ?Ø9�*Ð9Ð9˜{Ð9Ð9¨iÐ9Ð9¸8ÐDØ×Ò §¢¨Ñ 4Ô 4Ñ5Ô5°w´|ÐDà˜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€Fr[   r   )r˜   rz   Úpygments.lexerr   r   r   r   r   Úpygments.tokenr   r	   r
   r   r   r   r   r   r   Ú__all__r   r   r   r   r   r±   r[   rY   ú<module>ry     sÊ  ððð ð 
€	€	€	à 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ð^
Yð Yð Yð Yð Y�ñ Yô Yð Yðx@ð @ð @ð @ð @ˆzñ @ô @ð @ðF
Yð Yð Yð Yð Y�*ñ Yô Yð Yðx`ð `ð `ð `ð `�ñ `ô `ð `ð `ð `r[   