+
    TBi>                         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-2025 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. RO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 Rmt0 Rm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                  R3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                  R3](! R?4      ](! RG4      Rd]&3.bRi](! R;4      Rk]3R=]P,                  R>3Rl]P2                  Rj3Rm]P2                  R3R1]Rj3Rn]P2                  R3](! 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]R3R2] R32]PZ                  3R2] R32]PZ                  3Rd]&RC3.bRv](! R;4      Rw]P2                  R3](! Ro4      ](! RG4      Rd]&RC3.bRZ](! R;4      ](! Ro4      Ra]#PJ                  3Rq]Rr3Rx]+! ]]]P2                  4      RC3Ru] R32]R3R2] R32]PZ                  3R2] R32]PZ                  3Rd]&RC3.	bRy](! R;4      Rw]P2                  R3R{]P2                  R3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,                  R3R]P,                  RC3R]P,                  3./Ct/Rt0V 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   &7/usr/lib/python3.14/site-packages/pygments/lexers/ml.pystringySMLLexer.stringy<   s\    !.  /FMM*!6==1)8V$
 	
    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NNEkk!ne[[^33kk!nk5;;q>99s   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kk!ne[[^33s   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     kk!n***$$E,,,EEkk!ne((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>aRYYq\\>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gG+I$&@AI
5CM			#	%)	+1	3=	?C	EK	 		 	 !	 #(	 *2	 48	 :>	 @G	 			 		 !		 #+		 -1		 37		 9?		 AI		
 		
 	
 	
 !'	
 ).	
 06	
 8B	
 DK	 		 	 '	 )2	 49	 ;F	 		 	  '	 JN%M0M
:4)zTNg''3
z 	 +v.+v.('*:*:<LM,g.>.>G/1A1A6J
z( 	^^CHH$J>$JJK FKK(6==(+ &**-,v~~&#V\\2FLL)-v~~&  ,m_A&

3m_A&

3,g.>.>H%w'7'7ADw(')9)97C 4>>*-&(8(C-"K0-"K0? 
)zj 	-&(89-"OV<-"OV<UOUO
kz~ 	FO
zJ 	L! $W%5%5w?!1!1*, L!FOUO
Kzf 	L!DMg''3 $W%5%5w?!1!1&( K)')9)9 L!FOUO%
gzR 	$SzT 	'&--(UzX 	"))#((3F*GH$PVW
Yzb 	L!J-"DNN3FO
czt 	L!4>>*K,-"DMM6:-"DMM6: FO

uzN 	L!4>>*K,-M?"=dmmT;7A-M?"=dmmT;7A-"DMM6:-"DMM6: FO
Ozp 	L!J4>>*K,]O1%{4GH-"GLL1-"GLL1UF#
qzL 	L!!1!13DEJFOUF#
Mzb 	L!J4>>*K,"k4)9)9:FD]O1%{*, -"GLL1-"GLL1UF#
czD 	L!!1!13DE$g&6&68IJ 0 01=/+k446=/+k446 JFOUO
Ezh 	L!m_A.g&&djj9;m_A.g&&djj9; 0 01-M?!4djjAFO
 	L!-"DJJ7-"DJJ7UF#	
 	DM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iG3I IMHG )IGNK$JTJ 	v}}-FMM*!6==1

 	TN$dll&9&9:)4>>8D $**-Wi0 23W=^^CHHWTrT]34h?*Q{m2i[98D 898==I 45w||Dt$8&,,G+VZZ8!6::.,&..)G[[V[[!7O6==(+!4==17
: 	!gw'gv&w	
 	'%&fmm$6==&)	
 	TNK %t~~6djj&1tV,FO
_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gG	II
CM
H -H"EGcv}}-FMM*!6==1
c 	W./ 
c 	JTN 
c$ 	)*8E%8'B H_u$dll&9&9: (6(&,,7"FLL1 &**-VZZ(FJJ'V^^$ &..1 6==(+ J[[ Hg&Hf% ? &t}}5 e^D $--0 #DNN3 U]4)%^X&'"x( 8V$ \7<<( (]FMM*' tcU
%ct 	)*GLL!=>
ucF 	)*GLL"89gll$;<e^W\\+ABw||V,\7<<(
 FO
Gch 	)*67
icp 	)*',, 23FO	
qcH 	)*GLL"23w||%;<FO	
IcT 	)* w||->?GLL"23FO
Uct 	)*',,'gll#GLL'*GLL&)
ucB 	)*',,'gll#GLL'*GLL&)
Ccx 	 Wg&Wf%g	
ycJ 	&--(6==&)Hf%%&	
KcV 	6==)FMM6*Hf%%&	
Wcp 	&--)>?6==":;
qc~ 	6==&1
cL 	TN6==*;<FMM6*6==":;	
 	6==";<6=="45(]FMM62(89fmmV4H./
 	g~.FMM#;<6==/2Hf%&
 	Wf%'"
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UNK$JTJ 	v}}-FMM*!6==1

 	TN$dll&9&9:)4>>8D $**-(7,,i8 23W=^^CHHWTrT]34hmmD*Q{m2i[98D 898==I 45w||Dt$8&,,G+VZZ8!6::.,&..)G[[V[[!7O6==(+!4==19
< 	))*g''1g''0G%%&	
 	'%&fmm$6==&)	
 	TNK %t~~6djj&1tV,FO
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iG(#I IM
H #M;OG )IK$JTJ 	v}}-FMM*!6==1

 	TN/1D1DE)4>>8D $**-Wi0! 23W= 9:DNNK 78':M:MN^^CHHWTrT]34h?*Q{m2i[98D 45w||Dt$8&,,G+VZZ8!6::.,&..)G[[V[[!7O.G6==(+!4==1=
@ 	!gw'gv&w	
 	'%&fmm$6==&)	
 	TNK %t~~6djj&1tV,FO
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   