Ë
    !täiAŠ  ã                   óÎ   — 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y)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j0                  dfdej0                  dfdej0                  dfg“dd j3                  d!j5                  d"„ eD «       «      «      efd#ej8                  d$fd%ej:                  d&fd'ej>                  fd(ej>                  fd)ej@                  fd*ejB                  fd+ejB                  fd,ejB                  fd-ej@                  fd.e"jF                  fd/e› d0�e"jF                  fd1e› d0�e"jF                  fd2ej0                  d3fd4ej0                  d5fd6ej0                  d7fd8ej0                  d9fd:e"jH                  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j0                  dAfdBej0                  dCf e'd«       e'd«      d>e%fg“dD e'd«      dEefdej*                  dfdFej0                  dGfdHej0                  dIfdJedGfdKej0                  dLf e'd«       e'd«      d>e%fg
“d$ eej8                  «      “d& eej:                  «      “dMdNj3                  d!j5                  e
«      «      edfg“d7 e'd«       e'dM«      d;e› d0�e"jP                  f e&d«      g“dG e'd«      d:e"jH                  fdOedPfd;e› d0�e"jR                  dfd;e› d0�e"jR                  df e&d«      g“dA e'd«      d:e"jH                  fdOedPfd;e› dQe› dR� e*e"jV                  ee«      dfd;e› dQe› dR� e*e"jV                  ee«      dfd;e› d0�e"jV                  dfd;e› d0�e"jV                  df e&d«      g“d9 e'd«       e'dM«      d:e"jH                  fdOedPfdSe› d0�edTfd;e› d0�ejX                  fd;e› d0�ejX                  fd>e%dfg“dU e'd«      dVej0                  dWf e'dM«       e'd«      d>e%dfg“d3 e'd«       e'dM«      d:e"jH                  fdOedPfdX e*eeej0                  «      dfdSe› d0�edYfd;e› d0�ejX                  fd;e› d0�ejX                  fd>e%dfg	“dZ e'd«      dVej0                  d[fd\ej0                  dWfd]ej0                  fd^e› d0� e*eee"jZ                  «      fd_e› d0� e*eee"jZ                  «      f e'dM«       e'd«      d>e%fg	“ e'd«      d`e› d0� e*ej0                  ee"jZ                  «      fdae› d0� e*ej0                  ee"jZ                  «      fd]ej0                  fd;e› dbe› d0�e"jZ                  f e&d«      g e'd«      d;e› d0�e"jZ                  dfd;e› d0�e"jZ                  dfd>e%dfgdEefdej*                  dfd:e"jH                  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.yj)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    úa/Volumes/fast/ai/experiments/MLX_z-image/.venv/lib/python3.12/site-packages/pygments/lexers/ml.pyÚstringyzSMLLexer.stringy<   s\   € à˜Ð!Ø¤§¡Ð.ð  ¤§¡Ð/àœFŸM™MÐ*Ø!¤6§=¡=Ð1ØœŸ™Ð)Ø�8˜VÐ$ð
ð 	
ó    c              #   ó  K  — |j                  d«      | j                  v rt        }nt        j                  }|j                  d«      ||j                  d«      f–— |j                  d«      t        |j                  d«      f–— y ­w)Né   é   )ÚgroupÚalphanumid_reservedr   r   Ú	NamespaceÚstartr   ©ÚselfÚmatchÚtokens      rY   Úlong_id_callbackzSMLLexer.long_id_callbackK   sd   è ø€ Ø�;‰;�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   ‚BBc              #   óò   K  — |j                  d«      | j                  v rt        }n*|j                  d«      | j                  v rt        }nt        }|j                  d«      ||j                  d«      f–— y ­w©Nr]   )r_   r`   r   Úsymbolicid_reservedr   rb   rc   s      rY   Úend_id_callbackzSMLLexer.end_id_callbackS   s^   è ø€ Ø�;‰;�q‹>˜T×5Ñ5Ñ5Ü‰EØ�[‰[˜‹^˜t×7Ñ7Ñ7Ü‰EäˆEØ�k‰k˜!‹n˜e U§[¡[°£^Ð3Ó3ùs   ‚A5A7c              #   óÎ   K  — |j                  d«      }|| j                  v rt        j                  }n|| j                  v rt
        }nt        }|j                  d«      ||f–— y ­wri   )r_   r`   r   ÚReservedrj   r   r   rb   )rd   re   Ústrrf   s       rY   Úid_callbackzSMLLexer.id_callback\   sY   è ø€ Ø�k‰k˜!‹nˆØ�$×*Ñ*Ñ*Ü×$Ñ$‰EØ�D×,Ñ,Ñ,Ü‰EäˆEØ�k‰k˜!‹n˜e SÐ(Ó(ùs   ‚A#A%Ú
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              #   óF   K  — | ]  }t        j                  |«      –— Œ y ­w)N)ÚreÚescape)Ú.0Úzs     rY   Ú	<genexpr>zSMLLexer.<genexpr>|   s   è ø€ Ð$J¹>°a¤R§Y¡Y¨q§\¹>ùs   ‚!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*(rJ   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\']*rI   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)|(rK   ú\)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€Nà%€MØ0€Mò
ò:ò4ò)ðzàØ�TˆNØ�g×'Ñ'¨Ð3ð
ðzð 	ð ˜+ vÐ.Ø˜+ vÐ.Ø(¨'×*:Ñ*:Ð<LÐMØ,¨g×.>Ñ.>ÀÐGØ/°×1AÑ1AÀ6ÐJð
ðzð( 	à�^‰^˜CŸH™HÑ$J¹>Ó$JÓJÓKØðð �F—K‘K Ð(Ø�6—=‘= (Ð+Ø  &§*¡*Ð-Ø §¡Ð,Ø�v—~‘~Ð&Ø# V§\¡\Ð2Ø˜FŸL™LÐ)Ø §¡Ð-Ø�v—~‘~Ð&ð   §¡Ð,Ø�m�_ AÐ&¨¯
©
Ð3Ø�m�_ AÐ&¨¯
©
Ð3à,¨g×.>Ñ.>ÀÐHØ% w×'7Ñ'7¸ÐAØDØ×Ñ˜wð(à'¨×)9Ñ)9¸7ÐCð ˜4Ÿ>™>Ð*Ø�-� Ð&Ð(8¸(ÐCØ�-� Ð" KÐ0Ø�-� Ð" KÐ0ð? 
ð)zðj 	Ø�-� Ð&Ð(8Ð9Ø�-� Ð" O°VÐ<Ø�-� Ð" O°VÐ<Ø�UˆOØ�UˆOð
ðkzð~ 	Ù�F‹Oð
ðzðJ 	Ù�LÓ!ð $ W×%5Ñ%5°wÐ?Ø ×!1Ñ!1Ø*ð,ñ �LÓ!Ù�F‹OØ�UˆOð
ðKzðf 	Ù�LÓ!à�DˆMØ�g×'Ñ'¨Ð3ð $ W×%5Ñ%5°wÐ?Ø ×!1Ñ!1Ø&ð(ð �K Ð)Ø'¨×)9Ñ)9Øðñ �LÓ!Ù�F‹OØ�UˆOð%
ðgzðR 	‘˜Ÿ™Ó$ðSzðT 	‘'˜&Ÿ-™-Ó(ðUzðX 	Ø"×)Ñ)¨#¯(©(Ð3FÓ*GÓHÈ$ÐPVÐWð
ðYzðb 	Ù�LÓ!Ù�JÓà�-� Ð" D§N¡NÐ3Ù�F‹Oð
ðczðt 	Ù�LÓ!Ø˜4Ÿ>™>Ð*Ø�K Ð,à�-� Ð" D§M¡M°6Ð:Ø�-� Ð" D§M¡M°6Ð:ñ �F‹Oð

ðuzð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ð
ðOzðp 	Ù�LÓ!Ù�JÓà˜4Ÿ>™>Ð*Ø�K Ð,Ø�]�O 1Ð% {Ð4GÐHà�-� Ð" G§L¡LÐ1Ø�-� Ð" G§L¡LÐ1Ø�U˜FÐ#ð
ðqzðL 	Ù�LÓ!à ×!1Ñ!1Ð3DÐEá�JÓÙ�F‹OØ�U˜FÐ#ð
ðMzðb 	Ù�LÓ!Ù�JÓà˜4Ÿ>™>Ð*Ø�K Ð,Ø"Ù�k 4¨×)9Ñ)9Ó:¸FðDà�]�O 1Ð% {Ø*ð,ð �-� Ð" G§L¡LÐ1Ø�-� Ð" G§L¡LÐ1Ø�U˜FÐ#ð
ðczð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ð
ðEzñ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ð
ñ �LÓ!Ø�-� Ð" D§J¡J°Ð7Ø�-� Ð" D§J¡J°Ð7Ø�U˜FÐ#ð	
ð �DˆMØ�g×'Ñ'¨Ð3à˜4Ÿ>™>Ð*Ø˜DÐ!Ø�;ÐØ�K Ð(Ø˜DÐ!ð	
ð ˜×)Ñ)Ð*Ø�g×'Ñ'¨Ð1Ø�g×'Ñ'¨Ð0Ø�w×(Ñ(Ð)ð	
òiz�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j0                  fdedfdj5                  dj7                  e
«      «      efdj5                  dj7                  eddd…   «      «      efde› de› de› �efdj5                  dj7                  e«      «      ej<                  fdj5                  dj7                  e«      «      ej>                  fd efd!e jB                  fd"e jD                  fd#e jF                  fd$e jH                  fd%e jJ                  fd&ejL                  fd'ejL                  fd(efd)ejN                  d*fd+ejP                  fgd,efd-ed.fd/ed0fd1efgd2ejN                  f e)d3«      d4ejN                  fd)ejN                  d0fgdefd5e*fd6ej.                  fd7ej0                  d0fd8ed0f e+d0«      gd9œZ,y):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‘   ú\*ú\+rK   Ú-ú-\.rD   ú\.ú\.\.rB   ú::ú:=rE   rL   ú;;Ú<ú<-rC   Ú>ú>]ú>\}ú\?ú\?\?ú\[ú\[<ú\[>ú\[\|rN   rO   Ú`ú\{ú\{<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éÿÿÿÿ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}))'ú'.'Ú'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€IØÐ €IØ€Mð€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Ø×Ñ §¡¨Ó 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ð7
ð< ˜Ð!Ø�g˜wÐ'Ø�g˜vÐ&Ø�wÐð	
ð ˜Ÿ™Ð'ÙÐ%Ó&Ø�f—m‘mÐ$Ø�6—=‘= &Ð)ð	
ð �TˆNØ�KÐ Ø% t§~¡~Ð6Ø˜dŸj™j¨&Ð1Ø˜t VÐ,Ù�F‹Oð
ñ_7�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j2                  fdej2                  fdej2                  fdej4                  fdej6                  fdej8                  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jB                  d*fd+ejD                  fd,ez   d-z   ejD                  fd.ejF                  fd/ez   d-z   efd0e› d1�e fd0e› d1�e fd2e d3fd4ez   ejH                  fd5ez   ejB                  fd6ejB                  feefg“d3 ed«      d7ejH                  f e%d8«      g“d9 ed«      d:ejH                  d;fd<ejH                  d=fed:z   ejH                  d;feejH                  d(fd4ez   ejH                  f e%d(«      g“d> ed«       e%d?«      g“d@ ed«      dAejH                  dBf e%d(«      g“dC ed«      d7ejH                  dDfdEejH                  dFf e%d(«      g“dG ed«      dHejH                  d>fd7ejH                  dDf e%d(«      g“dI ed«      dJejH                  fdKejH                  fd:ejH                  d&fdLejH                  d(fg“dM ed«      dNejH                  fdKejH                  fd%ejH                  d&fd'ejH                  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jB                  dVfdWejB                  dXfg“dYdZejB                  d(fg“defd[ejB                  d\fd]ejB                  d(fdWejB                  dXfgd4ejB                  d^fd"ejB                  d_fd5ez   ejB                  d(fd6ejB                  d`fdaejB                  d(fd%e d`fgdbedcfddejB                  defdfejB                  d*fd%e dfdgejB                  fgdhed(fdiefgdjœ¥Z&yk)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<-(?!rJ   z\b([A-Z]\w*)(?=\.)r�   rI   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™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Ð&Ø�'�˜"Ð˜xÐ(ð �8˜VÐ$ð �‰\˜7Ÿ<™<Ð(ð �(‰]˜FŸM™MÐ*Ø˜Ÿ™Ð'ð �tÐðcU
ð%cðt 	ÙÐ)Ó*Ø�G—L‘LÐ!ÙÐ=Ó>ð
ðucðF 	ÙÐ)Ó*Ø�G—L‘LÐ"8Ð9Ø�g—l‘lÐ$;Ð<Ø�e‰^˜WŸ\™\Ð+AÐBØ�w—|‘| VÐ,Ø�‰\˜7Ÿ<™<Ð(ñ
 �F‹Oð
ðGcðh 	ÙÐ)Ó*ÙÐ6Ó7ð
ðicðp 	ÙÐ)Ó*Ø�'—,‘,Ð 2Ð3á�F‹Oð	
ðqcðH 	ÙÐ)Ó*Ø�G—L‘LÐ"2Ð3Ø�w—|‘|Ð%;Ð<Ù�F‹Oð	
ðIcðT 	ÙÐ)Ó*ð ˜wŸ|™|Ð->Ð?Ø�G—L‘LÐ"2Ð3á�F‹Oð
ðUcðt 	ÙÐ)Ó*Ø˜'Ÿ,™,Ð'Ø�g—l‘lÐ#Ø�G—L‘L 'Ð*Ø�G—L‘L &Ð)ð
ðucðB 	ÙÐ)Ó*Ø˜'Ÿ,™,Ð'Ø�g—l‘lÐ#Ø�G—L‘L 'Ð*Ø�G—L‘L &Ð)ð
ðCcðx 	Ø˜Ð Ø�W˜gÐ&Ø�W˜fÐ%Ø�gÐð	
ðycðJ 	Ø˜&Ÿ-™-Ð(Ø�6—=‘= &Ð)Ø�H˜fÐ%ÙÐ%Ó&ð	
ðKcðV 	Ø˜6Ÿ=™=Ð)Ø�F—M‘M 6Ð*Ø�H˜fÐ%ÙÐ%Ó&ð	
ðWcðp 	Ø˜&Ÿ-™-Ð)>Ð?Ø�6—=‘=Ð":Ð;ð
ðqcð~ 	à˜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�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j0                  fdej4                  fdej6                  dfdj9                  dj;                  e
«      «      efdj9                  dj;                  eddd …   «      «      ej@                  fd!e› de› d"e› �efdj9                  dj;                  e«      «      ej@                  fdj9                  dj;                  e«      «      ejB                  fd#efd$e"jF                  fd%e"jH                  fd&e"jJ                  fd'e"jL                  fd(e"jN                  fd)ejP                  fd*ejP                  fd+efd,ejR                  d-fd.ejT                  fgd/ej6                  fd0ej6                  d1fd2ej6                  d3fd4ej6                  fgd5ejR                  f e+d6«      d7ejR                  fd,ejR                  d3fgdefd8e,fd9ej.                  fd:ej0                  d3fd;ed3f e-d3«      gd<œZ.y)=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Ñ   rK   rÒ   rÓ   rF   rÔ   rÕ   z\.\.\.rB   rÖ   r×   rE   rL   rØ   rÙ   rÚ   rC   rÛ   rÜ   rÝ   rÞ   rß   rà   rá   râ   rã   rN   rO   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  rI   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™MÐ*Ø! 6§=¡=Ð1ð
ð �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ð9
ð> ˜×)Ñ)Ð*Ø�g×'Ñ'¨Ð1Ø�g×'Ñ'¨Ð0Ø�G×%Ñ%Ð&ð	
ð ˜Ÿ™Ð'ÙÐ%Ó&Ø�f—m‘mÐ$Ø�6—=‘= &Ð)ð	
ð �TˆNØ�KÐ Ø% t§~¡~Ð6Ø˜dŸj™j¨&Ð1Ø˜t VÐ,Ù�F‹Oð
ña8�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j0                  dfdej2                  fdedfdefdj7                  dj9                  e
«      «      efdj7                  dj9                  e«      «      ej<                  fdj7                  dj9                  e«      «      ej>                  fdj7                  dj9                  eddd …   «      «      e fd!e› de› d"e› �e fdj7                  dj9                  e«      «      ejB                  fd#efd$e"jF                  fd%e"jH                  fd&e"jJ                  fd'e"jL                  fd(e"jN                  fd)ejP                  fd*ejP                  fd+efd,e jR                  fd-efd.ejT                  d/fd0ejV                  fgd1efd2ed3fd4ed5fd6efgd7ejT                  f e,d8«      d9ejT                  fd.ejT                  d5fgdefd:e-fd;ej0                  fd<ej2                  d5fd=ed5f e.d5«      gd>œZ/y)?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\(\)rK   z~>rD   rÚ   z<--z<==>z==>rÔ   rÞ   z\?\.z\.\[z\.\(z\.\(\|z\.\[\|z
\{:patternrB   rÖ   r×   rL   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  rI   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™MÐ*Ø! 6§=¡=Ð1ð
ð �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ð=
ðB ˜Ð!Ø�g˜wÐ'Ø�g˜vÐ&Ø�wÐð	
ð ˜Ÿ™Ð'ÙÐ%Ó&Ø�f—m‘mÐ$Ø�6—=‘= &Ð)ð	
ð �TˆNØ�KÐ Ø% t§~¡~Ð6Ø˜dŸj™j¨&Ð1Ø˜t VÐ,Ù�F‹Oð
ñe:�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     sv   ðñó 
ç HÕ H÷÷ õ ò N€ôLˆzô Lô^
Y�ô Yôx@ˆzô @ôF
Y�*ô Yôx`�õ `r[   