+
    IV-jAŠ  ã                   óÐ   € R t ^ RIt^ RIHtHtHtHtHt ^ RIH	t	H
t
HtHtHtHtHtHtHt . ROt ! R	 R]4      t ! R
 R]4      t ! R R]4      t ! R R]4      t ! R R]4      tR# )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                   óÀ  a € ] tR t^t o RtRtR.t. R‰OtRR.tRt	Rt
0 RkR	kR
kRkRkRkRkRkRkRkRkRkRkRkRkRkRkRkRkRkRkRkRkRkR kR!kR"kR#kR$kR%kR&kR'kR(kR)kR*kR+kR,kR-kR.kR/kR0kt0 RŠmt0 R‹mtR5tR6tR7 tR8 tR9 tR: t/ R;R<]3R=]P,                  R>3.bR?R@]RA3RB]RC3RD]P2                  RŒ3RE]P2                  RA3RF]P2                  RC3.bRGRHP5                  RIP7                  RJ ] 4       4      4      ]3RK]P:                  RL3RM]P<                  RN3RO]P@                  3RP]P@                  3RQ]PB                  3RR]PD                  3RS]PD                  3RT]PD                  3RU]PB                  3RV]#PH                  3RW] R32]#PH                  3RX] R32]#PH                  3RY]P2                  RZ3R[]P2                  R\3R]]P2                  R^3R_]P2                  R`3Ra]#PJ                  3R2] Rb2]Rc3R2] R32]3R2] R32]3.bRcR2] Rb2]3R2] R32]RC3R2] R32]RC3R<]&3Rd]&3.bRe]'! RA4      .bRA](! R;4      Rf]P2                  Rg3Rh]P2                  R�3](! R?4      ](! RG4      Rd]&3.bRi](! R;4      Rk]3R=]P,                  R>3Rl]P2                  Rj3Rm]P2                  RŽ3R1]Rj3Rn]P2                  R�3](! R?4      ](! RG4      Rd]&3.
bRL]! ]P:                  4      bRN]! ]P<                  4      bRoRpP5                  RIP7                  ]4      4      ]RC3.bR^](! R;4      ](! Ro4      R2] R32]#PR                  3]'! RC4      .bRj](! R;4      Ra]#PJ                  3Rq]Rr3R2] R32]#PT                  RC3R2] R32]#PT                  RC3]'! RC4      .bRg](! R;4      Ra]#PJ                  3Rq]Rr3R2] Rs] Rt2]+! ]#PX                  ]]4      RC3R2] Rs] Rt2]+! ]#PX                  ]]4      RC3R2] R32]#PX                  RC3R2] R32]#PX                  RC3]'! RC4      .bR`](! R;4      ](! Ro4      Ra]#PJ                  3Rq]Rr3Ru] R32]R�3R2] R32]PZ                  3R2] R32]PZ                  3Rd]&RC3.bRv](! R;4      Rw]P2                  R‘3](! Ro4      ](! RG4      Rd]&RC3.bRZ](! R;4      ](! Ro4      Ra]#PJ                  3Rq]Rr3Rx]+! ]]]P2                  4      RC3Ru] R32]R’3R2] R32]PZ                  3R2] R32]PZ                  3Rd]&RC3.	bRy](! R;4      Rw]P2                  R“3R{]P2                  R‘3R|]P2                  3R}] R32]+! ]]]#P\                  4      3R~] R32]+! ]]]#P\                  4      3](! Ro4      ](! RG4      Rd]&3.	bR\](! R;4      R] R32]+! ]P2                  ]]#P\                  4      3R€] R32]+! ]P2                  ]]#P\                  4      3R|]P2                  3R2] R�] R32]#P\                  3]'! RC4      .Rz](! R;4      R2] R32]#P\                  RC3R2] R32]#P\                  RC3Rd]&RC3.RrRk]3R=]P,                  R>3Ra]#PJ                  3]]#3R4]3R‚]RC3]]#3.R>Rƒ]P,                  3R=]P,                  R„3R…]P,                  RC3R†]P,                  3./Ct/R‡t0V t1Rˆ# )”r   z
For the Standard ML language.
zStandard MLÚsmlztext/x-standardmlzapplication/x-standardmlz)https://en.wikipedia.org/wiki/Standard_MLú1.5ÚabstypeÚandÚandalsoÚasÚcaseÚdatatypeÚdoÚelseÚendÚ	exceptionÚfnÚfunÚhandleÚifÚinÚinfixÚinfixrÚletÚlocalÚnonfixÚofÚopÚopenÚorelseÚraiseÚrecÚthenÚtypeÚvalÚwithÚwithtypeÚwhileÚeqtypeÚfunctorr   ÚsharingÚsigÚ	signatureÚstructÚ	structureÚwhereú\|Ú(Ú)Ú,z[a-zA-Z][\w']*z[!%&$#+\-/:<=>?@\\~`^|*]+c           	     ó¾   € R V 3R\         P                  3R\         P                  3R\         P                  3R\         P                  3R\         P                  3RV R3.# )z[^"\\]z\\[\\"abtnvfr]z\\\^[\x40-\x5e]ú
\\[0-9]{3}z\\u[0-9a-fA-F]{4}z\\\s+\\Ú"ú#pop)r   ÚEscapeÚInterpol)Úwhatkinds   &Úc/Volumes/fast/ai/experiments/ui-tars-smoke/.venv/lib/python3.14/site-packages/pygments/lexers/ml.pyÚstringyÚSMLLexer.stringy<   s\   € à˜Ð!Ø¤§¡Ð.ð  ¤§¡Ð/àœFŸM™MÐ*Ø!¤6§=¡=Ð1ØœŸ™Ð)Ø�8˜VÐ$ð
ð 	
ó    c              #  ó  "  € VP                  ^4      V P                  9   d   \        pM\        P                  pVP                  ^4      W!P                  ^4      3x € VP                  ^4      \        VP                  ^4      3x € R# 5i©é   N)ÚgroupÚalphanumid_reservedr   r   Ú	NamespaceÚstartr   ©ÚselfÚmatchÚtokens   && rK   Úlong_id_callbackÚSMLLexer.long_id_callbackK   sa   é € Ø�;‰;�q‹>˜T×5Ñ5Ô5Ü‰Eä—N‘NˆEØ�k‰k˜!‹n˜e§[¡[°£^Ð3Ò3Ø�k‰k˜!‹nœk¨5¯;©;°q«>Ð9Ô9ùs   ‚BB	c              #  óþ   "  € VP                  ^4      V P                  9   d   \        pM-VP                  ^4      V P                  9   d   \        pM\        pVP                  ^4      W!P                  ^4      3x € R# 5irP   )rR   rS   r   Úsymbolicid_reservedr   rU   rV   s   && rK   Úend_id_callbackÚSMLLexer.end_id_callbackS   s[   é € Ø�;‰;�q‹>˜T×5Ñ5Ô5Ü‰EØ�[‰[˜‹^˜t×7Ñ7Ô7Ü‰EäˆEØ�k‰k˜!‹n˜e§[¡[°£^Ð3Ô3ùs   ‚A;A=c              #  óÖ   "  € VP                  ^4      pW P                  9   d   \        P                  pMW P                  9   d   \
        pM\        pVP                  ^4      W23x € R# 5irP   )rR   rS   r
   ÚReservedr]   r   r   rU   )rW   rX   ÚstrrY   s   &&  rK   Úid_callbackÚSMLLexer.id_callback\   sR   é € Ø�k‰k˜!‹nˆØ×*Ñ*Ô*Ü×$Ñ$‰EØ×,Ñ,Ô,Ü‰EäˆEØ�k‰k˜!‹n˜eÐ(Ô(ùs   ‚A'A)Ú
whitespaceú\s+ú\(\*ÚcommentÚ
delimitersz\(|\[|\{Úmainz\)|\]|\}rG   z\b(let|if|local)\b(?!\')z\b(struct|sig|while)\b(?!\')z\b(do|else|end|in|then)\b(?!\')Úcoreú({})Ú|c              #  óN   "  € T F  p\         P                  ! V4      x € K  	  R # 5i)N)ÚreÚescape)Ú.0Úzs   & rK   Ú	<genexpr>ÚSMLLexer.<genexpr>|   s   é € Ð$J¹>°a¤R§Y¢Y¨q§\ \»>ùs   ‚#%z#"ÚcharrF   Ú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*(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\']*z)(\.)Údottedz\S+Úrootz\b(val|and)\b(?!\')Úvnamez\b(fun)\b(?!\')úmain-funÚfnamez\sz\b(fun|and)\b(?!\')z\b(val)\b(?!\')z\b(case|handle)\b(?!\')Úbreakoutz(?=\b({})\b(?!\'))ú\(Útyvarseqz)(\s*)(=(?!z))ú=(?!Útypbindz\b(and)\b(?!\')z(=)(\s*)(datatype)ÚdatbindÚdatconz\b(withtype)\b(?!\')z\b(of)\b(?!\')z
(\|)(\s*)(z
(\|)(\s+)(z(and\b)(\s+)(z(and\b)(\s*)(z)|(ú\)z[^(*)]ú#pushú\*\)ú[(*)]© N)z*.smlz*.sigz*.fun>   Ú#Ú:Ú=ú->ú:>ú=>r@   >
   rA   rB   rC   Ú;Ú[Ú]Ú_Ú{Ú}ú...)rj   rj   )rG   r~   r   )rG   rj   r}   )rG   rj   )rG   r„   )rG   rz   )rG   r…   r†   )rG   rw   )2Ú__name__Ú
__module__Ú__qualname__Ú__firstlineno__Ú__doc__ÚnameÚaliasesÚ	filenamesÚ	mimetypesÚurlÚversion_addedrS   r]   Únonid_reservedÚalphanumid_reÚsymbolicid_rerL   rZ   r^   rc   r   r   Ú	Multiliner   r
   ra   ÚformatÚjoinr   ÚCharÚDoubler   ÚHexÚIntegerÚFloatr   ÚLabelÚ	Decoratorr   r   r   rT   ÚFunctionr   ÚVariableÚTypeÚClassÚtokensÚ__static_attributes__Ú__classdictcell__)Ú__classdict__s   @rK   r   r      sy
  ø‡ € ñð €DØˆg€GÚ+€IØ$Ð&@ÐA€IØ
5€CØ€Mð	àð	àð	à#ð	à%)ð	à+1ð	à3=ð	à?Cð	àEKð	ð 	ð	ð ð	ð !ð	ð #(ð	ð *2ð	ð 48ð	ð :>ð	ð @Gð	ð 	ð		ð ð		ð !ð		ð #+ð		ð -1ð		ð 37ð		ð 9?ð		ð AIð		ð
 	ð	ð
 ð	ð
 ð	ð
 !'ð	ð
 ).ð	ð
 06ð	ð
 8Bð	ð
 DKð	ð 	ð	ð ð	ð 'ð	ð )2ð	ð 49ð	ð ;Fð	ð 	ð	ð ð	ð  'ð	ÐòÐò 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ðh 	Ù�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†FrN   c                   óT  € ] tR tRtRtRtRtR.t. R6OtR.t	Rt
R7tR8tR	tR9tR
tRtR:tRR]P&                  3R]P&                  3R]P&                  3.RR]3R]P,                  P.                  3R]P0                  R3R]P2                  3R]R3RP7                  RP9                  ]4      4      ]3RP7                  RP9                  ]RRR;1,          4      4      ]3R] R] R] 2]3RP7                  RP9                  ]4      4      ]P>                  3RP7                  RP9                  ]4      4      ]P@                  3R]3R ]!PD                  3R!]!PF                  3R"]!PH                  3R#]!PJ                  3R$]!PL                  3R%]PN                  3R&]PN                  3R']3R(]PP                  R3R)]PR                  3.RR*]3R+]R,3R-]R.3R/]3.RR0]PP                  3]*! R4      R1]PP                  3R(]PP                  R.3.RR]3R]+3R2]P0                  3R3]P2                  R.3R4]R.3],! R.4      ./t-R5t.R# )<r   ic  z
For the OCaml language.
ÚOCamlzhttps://ocaml.org/Úocamlztext/x-ocamlz0.7ú\.ú[!$%&*+\./:<=>?@^|~-]ú[!?~]ú[=<>@^|&+\*/$%-]rv   úescape-sequenceú\\[\\"\'ntbr]rE   ú\\x[0-9a-fA-F]{2}r|   rf   úfalse|true|\(\)|\[\]ú\b([A-Z][\w\']*)(?=\s*\.)r{   ú\b([A-Z][\w\']*)ú\(\*(?![)])rh   ú\b({})\brm   rl   NrA   ú)?ú[^\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}))'ú'.'Ú'rF   ú[~?][a-z][\w\']*:ú[^(*)]+rg   rˆ   r‰   rG   rŠ   ú[^\\"]+ú\\\nú[A-Z][\w\']*(?=\s*\.)ú[A-Z][\w\']*ú[a-z_][\w\']*r‹   )z*.mlz*.mliz*.mllz*.mly)0r   r   ÚassertÚbeginÚclassÚ
constraintr   ÚdoneÚdowntor   r    r!   ÚexternalÚfalseÚforr#   Úfunctionr9   r%   r&   r   ÚinheritÚinitializerÚlazyr)   rX   ÚmethodÚmoduleÚmutableÚnewÚobjectr,   r.   Úprivater0   r1   r;   r=   r2   ÚtoÚtrueÚtryr3   r4   ÚvirtualÚwhenr7   r5   ))ú!=rŒ   Ú&ú&&r�   r‡   ú\*ú\+rC   Ú-ú-\.r�   r¼   ú\.\.r�   ú::ú:=r�   r’   ú;;Ú<ú<-rŽ   Ú>ú>]ú>\}ú\?ú\?\?ú\[ú\[<ú\[>ú\[\|r”   r•   Ú`ú\{ú\{<r@   ú\|]ú\}Ú~)ÚasrÚlandÚlorÚlslÚlxorÚmodÚor©ÚunitÚintÚfloatÚboolrv   ru   ÚlistÚarrayéÿÿÿÿ)/r™   rš   r›   rœ   r�   rž   r¢   rŸ   r    r¡   r£   ÚkeywordsÚkeyoptsÚ	operatorsÚword_operatorsÚprefix_symsÚ
infix_symsÚ
primitivesr   rH   r   r   ÚBuiltinÚPseudorT   r´   r   r¨   r©   r
   r	   ÚWordr³   r   r®   r¬   ÚOctÚBinr­   rª   r«   r²   r   r   r   rµ   r¶   r‹   rN   rK   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„FrN   c                   óT	  € ] tR tRtRtRtR.tR.tR.tRt	Rt
RatR
tRtRt/ RR]P                   3R]P                   3R]P                   3.bRR]R3R]3.bR]! R4      R]3.bR]! R4      ]! ]RRR7      ]3R],           R,           ]P.                  P0                  3R]P4                  3R]P4                  3R]P4                  3R]P6                  3R]P8                  3R ]P:                  3R!]P<                  3R"]P<                  3R#]P>                  R$3R%]P@                  3R&]!R'3R(]!R)3R*]PD                  R+3R,]PF                  3R-],           R.,           ]PF                  3R/]PH                  3R0],           R.,           ]3R1] R22]!3R1] R22]!3R3]!R	3R4],           ]PJ                  3R5],           ]PD                  3R6]PD                  3]]3.bR	]! R4      R7]PJ                  3]&! Rb4      .bR:]! R4      R;]PJ                  Rc3R=]PJ                  Rd3]R;,           ]PJ                  Rc3]]PJ                  R)3R4],           ]PJ                  3]&! R)4      .bR9]! R4      ]&! Re4      .bR?]! R4      R@]PJ                  Rf3]&! R)4      .bR8]! R4      R7]PJ                  Rg3RA]PJ                  Rh3]&! R)4      .bRB]! R4      RC]PJ                  R93R7]PJ                  Rg3]&! R)4      .bR<]! R4      RD]PJ                  3RE]PJ                  3R;]PJ                  R'3RF]PJ                  R)3.bR>]! R4      RG]PJ                  3RE]PJ                  3R&]PJ                  R'3R(]PJ                  R)3.bRRH]3R]R'3RI]R)3RE]3.bR$RJ]P>                  3R#]P>                  R)3R&]!R3]! R4      .bRKRL]P>                  3RM]P>                  R)3R&]!R3]! R4      .bR+RN]PD                  Ri3RP]PD                  Rj3.bRRRS]PD                  R)3.bROR]3RT]PD                  RU3RV]PD                  R)3RP]PD                  Rj3.RUR4]PD                  Rk3R#]PD                  Rl3R5],           ]PD                  R)3R6]PD                  Rm3RW]PD                  R)3R&]!Rm3.RQRX]RY3RZ]PD                  Rn3R[]PD                  R+3R&]!R3R\]PD                  3.RYR]]R)3R^]3./Ct'R_t(R`# )or   i¿  z
Lexer for the Opa language.
ÚOpaÚopaz*.opaz
text/x-opazhttp://opalang.orgr   r3   z(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z[()\[\],;|]rÀ   z\\[\\"\'ntr}]rE   rÂ   Úcommentsz/\*znested-commentz//.*?$zcomments-and-spacesrf   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}rF   rv   z9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'r  rˆ   r  rG   z<(?=[a-zA-Z>])zhtml-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!rB   z\b([A-Z]\w*)(?=\.)rƒ   rA   z)+r�   rÑ   rŒ   z#(?=\{)r�   ú
type-lhs-1útype-with-slashútype-1r�   ú
type-tuplez~?\{útype-recordúslash-type-1Ú/z(?=,)ú
type-arrowz,(?=[^:]*?->)z[^()/*]+z[/*]r‡   z[^{}/*]+ú[^/*]+z\*/z[^\\"{]+úsingle-stringz	[^\\\'{]+z\'z[\w\-:]+ú	html-attrrþ   úhtml-contentúhtml-end-tagz	[\w\-:]*>z	[\w\-:]+=zhtml-attr-valuez/>z[^"\'{`=<>]+z<!--zhtml-commentz</rü   z[^<{]+z-->z[^\-]+|-r‹   N)r   r   rÚ   r   ÚclientÚcssÚdatabaseÚdbr   r   r    rß   Úforallrâ   r%   ÚimportrX   rç   r  ÚpackageÚparserr1   Úserverr2   r3   r4   r5   Ú
xml_parser)rG   r/  r0  )rG   r2  )rG   r3  )rG   r4  r1  )rG   r1  )rG   r3   )rG   r6  )rG   r9  )rG   r:  )rG   r8  )rG   rv   )rG   r|   )rG   r;  ))r™   rš   r›   rœ   r�   rž   rŸ   r    r¡   r¢   r£   r  Úident_reÚop_reÚpunc_rer   rH   r   r   r   r   r
   r   r#  r$  r   r®   r¬   r&  r'  r­   r«   rª   r	   ÚSingler²   rT   r³   r   rµ   r¶   r‹   rN   rK   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ðL 	Ø�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„FrN   c                   óè  € ] tR tRtRtRtRtRR.tRR.tR	.t	R
t
R:tR;tRtR<tRtRtR=tRR]P&                  3R]P&                  3R]P&                  3.RR]3R]P,                  P.                  3R]P0                  R3R]P2                  3R]P6                  3R]P8                  R3RP;                  RP=                  ]4      4      ]3R P;                  RP=                  ]R!R!R>1,          4      4      ] PB                  3R"] R] R#] 2] 3RP;                  RP=                  ]4      4      ] PB                  3RP;                  RP=                  ]4      4      ]PD                  3R$]3R%]#PH                  3R&]#PJ                  3R']#PL                  3R(]#PN                  3R)]#PP                  3R*]PR                  3R+]PR                  3R,]3R-]PT                  R3R.]PV                  3.RR/]P8                  3R0]P8                  R13R2]P8                  R33R]P8                  3.RR4]PT                  3],! R4      R5]PT                  3R-]PT                  R33.RR]3R]-3R6]P0                  3R7]P2                  R33R8]R33].! R34      ./t/R9t0R!# )?r   i  z
For the ReasonML language.
ÚReasonMLzhttps://reasonml.github.io/ÚreasonmlÚreasonz*.rez*.reiztext/x-reasonmlz2.6rô   r¼   r½   r¾   r¿   rv   rÀ   rÁ   rE   rÂ   r|   rf   rÃ   rÄ   r{   rÅ   z//.*?\nz	\/\*(?!/)rh   rÇ   rm   rl   NrA   rÈ   rÉ   rÊ   rË   rÌ   rÍ   rÎ   rÏ   rÐ   rÑ   rF   rÒ   r7  z\/\*rˆ   z\*\/rG   rÔ   rÕ   rÖ   r×   rØ   r‹   )0r   rÙ   rÚ   rÛ   rÜ   r   rÝ   rÞ   r   r    r!   rß   rà   rá   r#   Úesfunrâ   r9   r%   r&   r   rã   rä   rå   r)   Úswitchrç   Úpubrè   ré   Únonrecrê   r,   r.   Úprir1   r;   r=   r2   rì   rí   rî   r3   r4   rï   rð   r7   r5   )+rñ   rŒ   rò   ró   r�   r‡   rô   rõ   rC   rö   r÷   r‘   r¼   rø   z\.\.\.r�   rù   rú   r�   r’   rû   rü   rý   rŽ   rþ   rÿ   r   r  r  r  r  r  r  r”   r•   r  r  r	  r@   z\|\|r
  r  r  )	r   r  r  r  r  Úlsrr  r  r  r  r  )1r™   rš   r›   rœ   r�   rž   r¢   rŸ   r    r¡   r£   r  r  r  r  r   r!  r"  r   rH   r   r   r#  r$  rT   r´   r   rI  r§   r¨   r©   r
   r	   r%  r³   r   r®   r¬   r&  r'  r­   rª   r«   r²   r   r   r   rµ   r¶   r‹   rN   rK   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„FrN   c                   óÔ  € ] tR tRtRtRtRtR.tRR.tR.t	R	t
R;tR<tR=tR>tRtRtRtR?tRR]P(                  3R]P(                  3R]P(                  3.RR]3R]P.                  P0                  3R]P2                  R3R]P4                  3R]R3R]3RP9                  RP;                  ]4      4      ]3RP9                  RP;                  ]4      4      ]P>                  3RP9                  RP;                  ]4      4      ]P@                  3RP9                  RP;                  ]RRR@1,          4      4      ]!3R ] R] R!] 2]!3RP9                  RP;                  ]4      4      ]PD                  3R"]3R#]#PH                  3R$]#PJ                  3R%]#PL                  3R&]#PN                  3R']#PP                  3R(]PR                  3R)]PR                  3R*]3R+]!PT                  3R,]3R-]PV                  R3R.]PX                  3.RR/]3R0]R13R2]R33R4]3.RR5]PV                  3]-! R4      R6]PV                  3R-]PV                  R33.RR]3R
].3R7]P2                  3R8]P4                  R33R9]R33]/! R34      ./t0R:t1R# )Ar   i^  z
For the F* language.
ÚFStarzhttps://www.fstar-lang.org/Úfstarz*.fstz*.fstiztext/x-fstarz2.7r¼   r½   r¾   r¿   rv   rÀ   rÁ   rE   rÂ   r|   rf   zfalse|true|False|True|\(\)|\[\]rÄ   r{   rÅ   rÆ   rh   z\/\/.+$rÇ   rm   rl   NrA   rÈ   rÉ   rÊ   rË   rÌ   rÍ   rÎ   rÏ   rÐ   rÑ   z\`([\w\'.]+)\`z\`rF   rÒ   rÓ   rg   rˆ   r‰   rG   rŠ   rÔ   rÕ   rÖ   r×   rØ   r‹   )5ÚabstractÚ
attributesÚnoeqÚunopteqÚandbeginÚbyr   Úeffectr   r    Úensuresr!   Úexistsrà   r@  r#   râ   r%   r&   r   ÚinlineÚinline_for_extractionÚirreducibleÚlogicrX   rç   rè   ré   Ú
new_effectÚ	noextractr,   r.   Úopaquerë   Úrange_ofÚ	reifiableÚreifyÚreflectableÚrequiresÚset_range_ofÚ
sub_effectÚsynthr2   Útotalrí   rî   r3   ÚunfoldÚ
unfoldabler4   rð   r5   Únot)r)   r1   )ÚassumeÚadmitrÙ   Úcalc)/r  rö   z/\\z\\/z<:z<@z\(\|z\|\)rŒ   zu#rò   r�   r‡   z\(\)rC   z~>r�   rý   z<--z<==>z==>r¼   r  z\?\.z\.\[z\.\(z\.\(\|z\.\[\|z
\{:patternr�   rù   rú   r’   rû   rŽ   z%\[z!\{r  z\[@r  z\|>z\]z\|\]r  r@   r  z\$r  r  )2r™   rš   r›   rœ   r�   rž   r¢   rŸ   r    r¡   r£   r  Údecl_keywordsÚassume_keywordsr  r  r   r!  r"  r   rH   r   r   r#  r$  rT   r´   r   r¨   r©   r
   Ú	ExceptionÚDeclarationr	   r³   r   r®   r¬   r&  r'  r­   rª   r%  r«   r²   r   r   r   rµ   r¶   r‹   rN   rK   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ð=
ð@ 	Ø˜Ð!Ø�g˜wÐ'Ø�g˜vÐ&Ø�wÐð	
ð 	Ø˜Ÿ™Ð'ÙÐ%Ó&Ø�f—m‘mÐ$Ø�6—=‘= &Ð)ð	
ð 	Ø�TˆNØ�KÐ Ø% t§~¡~Ð6Ø˜dŸj™j¨&Ð1Ø˜t VÐ,Ù�F‹Oð
ðe:„FrN   )r   r   r   r   r   )r�   ro   Úpygments.lexerr   r   r   r   r   Úpygments.tokenr   r   r	   r
   r   r   r   r   r   Ú__all__r   r   r   r   r   r‹   rN   rK   Ú<module>r}     sv   ðñó 
ç HÕ H÷÷ õ ò N€ôLˆzô Lô^
Y�ô Yôx@ˆzô @ôF
Y�*ô Yôx`�ö `rN   