Ë ´™'j÷}BhãóΗdZddlZddlmZmZmZmZmZddlm Z m Z m Z m Z m Z mZmZmZmZgd¢ZGd„de«ZGd„d e«ZGd „d e«ZGd „d e«ZGd„de«Zy)zÈ pygments.lexers.ml ~~~~~~~~~~~~~~~~~~ Lexers for ML family languages. :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. éN)Ú RegexLexerÚincludeÚbygroupsÚdefaultÚwords) ÚTextÚCommentÚOperatorÚKeywordÚNameÚStringÚNumberÚ PunctuationÚError)ÚSMLLexerÚ OcamlLexerÚOpaLexerÚ ReasonLexerÚ FStarLexercóœ —eZdZdZdZdgZgd¢ZddgZhd£Zhd£Z hd £Z d Z d Z d „Z d „Zd„Zd„Ziddefdej&dfg“ddedfdedfdej,dfdej,dfdej,dfg“dddj/d „e D««zefd!ej2d"fd#ej4d$fd%ej8fd&ej8fd'ej:fd(ej<fd)ej<fd*ej<fd+ej:fd,ej@fd-e zej@fd.e zej@fd/ej,d0fd1ej,d2fd3ej,d4fd5ej,d6fd7ejBfd8e zed9fde zefde zefg“d9d8e zefde zedfde zedfde"fd:e"fg“d;e#d«g“de$d«dej,d?fe$d«e$d«d:e"fg“d@e$d«dAefdej&dfdBej,dCfdDej,dEfdFedCfdGej,dHfe$d«e$d«d:e"fg “d"e ej2«“d$e ej4«“dIdJdj/e«zedfg“d4e$d«e$dI«de zejJfe#d«g“dCe$d«d7ejBfdKedLfde zejLdfde zejLdfe#d«g“d=e$d«d7ejBfdKedLfdMe ›dNe ›dO�e'ejPee«dfdMe ›dNe ›dO�e'ejPee«dfde zejPdfde zejPdfe#d«g“d6e$d«e$dI«d7ejBfdKedLfdPe zedQfde zejRfde zejRfd:e"dfg“dRe$d«dSej,dTfe$dI«e$d«d:e"dfg“d0e$d«e$dI«d7ejBfdKedLfdUe'eeej,«dfdPe zedVfde zejRfde zejRfd:e"dfg “dWe$d«dSej,dXfdYej,dTfdZej,fd[e ze'eeejT«fd\e ze'eeejT«fe$dI«e$d«d:e"fg “e$d«d]e ze'ej,eejT«fd^e ze'ej,eejT«fdZej,fdMe ›d_e ›d`�ejTfe#d«ge$d«de zejTdfde zejTdfd:e"dfgdAefdej&dfd7ejBfe efdaefdbedfe efgdcej&fdej&ddfdeej&dfdfej&fgdgœ¥Z+yh)irzB For the Standard ML language. .. versionadded:: 1.5 z Standard MLÚsml)z*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardml>)ÚasÚdoÚfnÚifÚinÚofÚopÚandÚendÚfunÚletÚrecÚsigÚvalÚcaseÚelseÚopenÚthenÚtypeÚwithÚinfixÚlocalÚraiseÚwhereÚwhileÚeqtypeÚhandleÚinfixrÚnonfixÚorelseÚstructÚabstypeÚandalsoÚfunctorrÚsharingÚdatatypeÚwithtypeÚ exceptionÚ signatureÚ structure>Ú#Ú:Ú=ú->ú:>ú=>ú\|> ú...Ú(Ú)Ú,Ú;Ú[Ú]Ú_Ú{Ú}z[a-zA-Z][\w']*z[!%&$#+\-/:<=>?@\\~`^|*]+c ó¾—d|fdtjfdtjfdtjfdtjfdtjfd|dfgS) Nz[^"\\]z\\[\\"abtnvfr]z\\\^[\x40-\x5e]ú \\[0-9]{3}z\\u[0-9a-fA-F]{4}z\\\s+\\Ú"ú#pop)r ÚEscapeÚInterpol)Úwhatkinds ú7/usr/lib/python3.12/site-packages/pygments/lexers/ml.pyÚstringyzSMLLexer.stringy<s\€à ˜Ð !Ø ¤§ ¡ Ð .𠤧¡Ð /à œFŸM™MÐ *Ø !¤6§=¡=Ð 1Ø œŸ™Ð )Ø �8˜VÐ $ð  ð óc#óK—|jd«|jvrt}ntj}|j d«||jd«f–—|j d«t |jd«f–—y­w)Néé)ÚgroupÚalphanumid_reservedrr Ú NamespaceÚstartr©ÚselfÚmatchÚtokens rXÚlong_id_callbackzSMLLexer.long_id_callbackKsdèø€Ø �;‰;�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‚BBc#óòK—|jd«|jvrt}n*|jd«|jvrt}nt}|j d«||jd«f–—y­w©Nr\)r^r_rÚsymbolicid_reservedr rarbs rXÚend_id_callbackzSMLLexer.end_id_callbackSs^èø€Ø �;‰;�q‹>˜T×5Ñ5Ñ 5܉EØ �[‰[˜‹^˜t×7Ñ7Ñ 7܉EäˆEØ�k‰k˜!‹n˜e U§[¡[°£^Ð3Ó3ùs‚A5A7c#óÎK—|jd«}||jvrtj}n||jvrt }nt }|jd«||f–—y­wrh)r^r_r ÚReservedrirr ra)rcrdÚstrres rXÚ id_callbackzSMLLexer.id_callback\sYèø€Ø�k‰k˜!‹nˆØ �$×*Ñ*Ñ *Ü×$Ñ$‰EØ �D×,Ñ,Ñ ,܉EäˆEØ�k‰k˜!‹n˜e SÐ(Ó(ùs‚A#A%Ú whitespaceú\s+ú\(\*ÚcommentÚ delimitersz\(|\[|\{Úmainz\)|\]|\}rTz\b(let|if|local)\b(?!\'))rtrtz\b(struct|sig|while)\b(?!\')z\b(do|else|end|in|then)\b(?!\')Úcoreú(%s)Ú|c#óFK—|]}tj|«–—Œy­w)N)ÚreÚescape)Ú.0Úzs rXÚ zSMLLexer.|sèø€ÐE±n°¤§ ¡ ¨!§ ±nùs‚!z#"ÚcharrSÚstringz~?0x[0-9a-fA-F]+z0wx[0-9a-fA-F]+z0w\d+z~?\d+\.\d+[eE]~?\d+z ~?\d+\.\d+z~?\d+[eE]~?\d+z~?\d+z#\s*[1-9][0-9]*z#\s*(%s)z#\s+(%s)z\b(datatype|abstype)\b(?!\')Údnamez\b(exception)\b(?!\')Úenamez4\b(functor|include|open|signature|structure)\b(?!\')Úsnamez\b(type|eqtype)\b(?!\')Útnamez \'[\w\']*z(%s)(\.)Údottedz\S+Úrootz\b(val|and)\b(?!\')Úvnamez\b(fun)\b(?!\'))rTúmain-funÚfnamer‡z\sz\b(fun|and)\b(?!\')rˆz\b(val)\b(?!\'))rTrtr†rFz\b(case|handle)\b(?!\'))rTrtÚbreakoutz(?=\b(%s)\b(?!\'))ú\(ÚtyvarseqrHz )(\s*)(=(?!z))z=(?!%s))rTÚtypbindrŒz\b(and)\b(?!\'))rTrƒz(=)(\s*)(datatype))rTÚdatbindÚdatconr�)rTr€z\b(withtype)\b(?!\')z\b(of)\b(?!\')z (\|)(\s*)(%s)z (\|)(\s+)(%s)z(and\b)(\s+)(%s)z(and\b)(\s*)(%s)z)|(rIrJú\)z[^(*)]ú#pushú\*\)ú[(*)])r�rŽr‹rrN),Ú__name__Ú __module__Ú __qualname__Ú__doc__ÚnameÚaliasesÚ filenamesÚ mimetypesr_riÚnonid_reservedÚ alphanumid_reÚ symbolicid_rerYrfrjrnrr Ú Multilinerr rlÚjoinr ÚCharÚDoublerÚHexÚIntegerÚFloatr ÚLabelÚ Decoratorrrrr`ÚFunctionrÚVariableÚTypeÚClassÚtokens©rZrXrrsA„ñð €D؈g€GÚ+€IØ$Ð&@ÐA€Iò ÐòÐòJ€Nà%€MØ0€Mò  ò:ò4ò)ðzàØ �TˆNØ �g×'Ñ'¨Ð 3ð ðzð ð ˜+ vÐ .Ø ˜+ vÐ .Ø (¨'×*:Ñ*:ÐÑ.>ÀÐ GØ /°×1AÑ1AÀ6Ð Jð  ðzð( à �s—x‘xÑE±nÓEÓEÑ EØ ð ð�F—K‘K Ð (Ø �6—=‘= (Ð +Ø  &§*¡*Ð -Ø  §¡Ð ,Ø �v—~‘~Ð &Ø # V§\¡\Ð 2Ø ˜FŸL™LÐ )Ø  § ¡ Ð -Ø �v—~‘~Ð &ð  §¡Ð ,Ø ˜=Ñ (¨$¯*©*Ð 5Ø ˜=Ñ (¨$¯*©*Ð 5à ,¨g×.>Ñ.>ÀÐ HØ % w×'7Ñ'7¸Ð AØ DØ × Ñ ˜wð (à '¨×)9Ñ)9¸7Ð Cð˜4Ÿ>™>Ð *Ø ˜=Ñ (Ð*:¸HÐ EØ �}Ñ $ kÐ 2Ø �}Ñ $ kÐ 2ð?  ð)zðj Ø ˜=Ñ (Ð*:Ð ;Ø �}Ñ $ o°vÐ >Ø �}Ñ $ o°vÐ >Ø �UˆOØ �UˆOð  ðkzð~ Ù �F‹Oð ðzðJ Ù �LÓ !ð$ W×%5Ñ%5°wÐ ?Ø  ×!1Ñ!1Ø *ð ,ñ �LÓ !Ù �F‹OØ �UˆOð  ðKzðf Ù �LÓ !à �DˆMØ �g×'Ñ'¨Ð 3ð$ W×%5Ñ%5°wÐ ?Ø  ×!1Ñ!1Ø &ð (ð�K Ð )Ø '¨×)9Ñ)9Ø ð ñ �LÓ !Ù �F‹OØ �UˆOð% ðgzðR ‘˜Ÿ ™ Ó$ðSzðT ‘'˜&Ÿ-™-Ó(ðUzðX Ø " S§X¡XÐ.AÓ%BÑ BÀDÈ&Ð Qð ðYzðb Ù �LÓ !Ù �JÓ à �}Ñ $ d§n¡nÐ 5Ù �F‹Oð  ðczðt Ù �LÓ !Ø ˜4Ÿ>™>Ð *Ø �K Ð ,à �}Ñ $ d§m¡m°VÐ <Ø �}Ñ $ d§m¡m°VÐ <ñ �F‹Oð  ðuzðN Ù �LÓ !Ø ˜4Ÿ>™>Ð *Ø �K Ñ ,â&3²]Ð CÙ �d—m‘m T¨;Ó 7¸ñ Aâ&3²]Ð CÙ �d—m‘m T¨;Ó 7¸ð Aà �}Ñ $ d§m¡m°VÐ <Ø �}Ñ $ d§m¡m°VÐ <ñ �F‹Oð ðOzðp Ù �LÓ !Ù �JÓ à ˜4Ÿ>™>Ð *Ø �K Ð ,Ø ˜-Ñ '¨Ð6IÐ Jà �}Ñ $ g§l¡lÐ 3Ø �}Ñ $ g§l¡lÐ 3Ø �U˜FÐ #ð  ðqzðL Ù �LÓ !à  ×!1Ñ!1Ð3DÐ Eá �JÓ Ù �F‹OØ �U˜FÐ #ð ðMzðb Ù �LÓ !Ù �JÓ à ˜4Ÿ>™>Ð *Ø �K Ð ,Ø "Ù �k 4¨×)9Ñ)9Ó :¸Fð Dà ˜-Ñ '¨Ø *ð ,ð�}Ñ $ g§l¡lÐ 3Ø �}Ñ $ g§l¡lÐ 3Ø �U˜FÐ #ð ðczð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ð ðEzñj �LÓ !à  =Ñ 0Ù �g×&Ñ&¨¨d¯j©jÓ 9ð ;à  =Ñ 0Ù �g×&Ñ&¨¨d¯j©jÓ 9ð ;à  × 0Ñ 0Ñ 1Ú*ªMÐ :¸D¿J¹JÐ Gá �F‹Oð  ñ �LÓ !Ø �}Ñ $ d§j¡j°&Ð 9Ø �}Ñ $ d§j¡j°&Ð 9Ø �U˜FÐ #ð  ð�DˆMØ �g×'Ñ'¨Ð 3à ˜4Ÿ>™>Ð *Ø ˜DÐ !Ø �;Ð Ø �K Ð (Ø ˜DÐ !ð  ð˜×)Ñ)Ð *Ø �g×'Ñ'¨Ð 1Ø �g×'Ñ'¨Ð 0Ø �w×(Ñ(Ð )ð  òiz�FrZrcóÖ—eZdZdZdZdZdgZgd¢ZdgZdZ dZ d Z d Z d Z d Zd Zdej"fdej"fdej"fgdefdej(j*fdej,dfdej.fdedfddj3e «zefddj3e ddd…«zefde›de ›de ›�efddj3e «zej8fddj3e«zej:fdefd ej>fd!ej@fd"ejBfd#ejDfd$ejFfd%ejHfd&ejHfd'efd(ejJd)fd*ejLfgd+efd,ed-fd.ed/fd0efgd1ejJfe'd2«d3ejJfd(ejJd/fgdefd4e(fd5ej,fd6ej.d/fd7ed/fe)d/«gd8œZ*y)9rz< For the OCaml language. .. versionadded:: 0.7 ÚOCamlzhttps://ocaml.org/Úocaml)z*.mlz*.mliz*.mllz*.mlyz text/x-ocaml)0rrÚassertÚbeginÚclassÚ constraintrÚdoneÚdowntor'r r=ÚexternalÚfalseÚforr!Úfunctionr9rrrÚinheritÚ initializerÚlazyr"rdÚmethodÚmoduleÚmutableÚnewÚobjectrr(Úprivater.r#r$r6r)ÚtoÚtrueÚtryr*r%ÚvirtualÚwhenr0r+))ú!=r@Ú&ú&&rŠr�ú\*ú\+rJÚ-ú-\.rCú\.ú\.\.rAú::ú:=rDrKú;;Ú<ú<-rBÚ>ú>]ú>\}ú\?ú\?\?ú\[ú\[<ú\[>ú\[\|rMrNÚ`ú\{ú\{?@^|~-])ÚasrÚlandÚlorÚlslÚlxorÚmodÚorú[!?~]ú[=<>@^|&+\*/$%-]©ÚunitÚintÚfloatÚboolrr~ÚlistÚarrayú \\[\\"\'ntbr]rRú\\x[0-9a-fA-F]{2}rpúfalse|true|\(\)|\[\]ú\b([A-Z][\w\']*)(?=\s*\.)r„ú\b([A-Z][\w\']*)ú \(\*(?![)])rrú\b(%s)\brwrvNéÿÿÿÿrHú)?ú [^\W\d][\w']*ú(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)ú0[xX][\da-fA-F][\da-fA-F_]*ú0[oO][0-7][0-7_]*ú0[bB][01][01_]*ú\d[\d_]*ú7'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2}))'ú'.'Ú'rSrú[~?][a-z][\w\']*:ú[^(*)]+rqr�r‘rTr’ú[^\\"]+úescape-sequenceú\\\nrÏú[A-Z][\w\']*(?=\s*\.)ú [A-Z][\w\']*ú [a-z_][\w\']*©r r…rrrr„)+r“r”r•r–r—Úurlr˜r™ršÚkeywordsÚkeyoptsÚ operatorsÚword_operatorsÚ prefix_symsÚ infix_symsÚ primitivesr rUrr ÚBuiltinÚPseudor`rªr rŸr r ÚWordr©rr¤r¢ÚOctÚBinr£r r¡r¨rrrr«r¬rZrXrrcs`„ñð €DØ €C؈i€GÚ3€IØÐ €Ið€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Ø ˜3Ÿ8™8 HÓ-Ñ -¨wÐ 7Ø �s—x‘x ©¨"¨¡ Ó.Ñ .°Ñ 9Ú(ª+±yÐ AÀ8Ð LØ ˜3Ÿ8™8 NÓ3Ñ 3°X·]±]Ð CØ ˜3Ÿ8™8 JÓ/Ñ /°·±Ð >à ˜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�FrZrcóà—eZdZdZdZdgZdgZdgZdZdZ dZ d Z id d e jfd e jfd e jfg“ddedfdefg“ded«defg“ded«eedd¬«efde zdzej(j*fdej.fdej.fdej.fdej0fdej2fdej4fdej6fdej6fd e j8d!fd"e j:fd#ed$fd%ed&fd'e j>d(fd)ej@fd*e zd+zej@fd,ejBfd-e zd+zefd.e zefd.e zefd/ed0fd1e zejDfd2e ze j>fd3e j>fe efg“d0ed«d4ejDfe#d5«g“d6ed«d7ejDd8fd9ejDd:fe d7zejDd8fe ejDd&fd1e zejDfe#d&«g“d;ed«e#d<«g“d=ed«d>ejDd?fe#d&«g“d@ed«d4ejDdAfdBejDdCfe#d&«g“dDed«dEejDd;fd4ejDdAfe#d&«g“dFed«dGejDfdHejDfd7ejDd$fdIejDd&fg“dJed«dKejDfdHejDfd#ejDd$fd%ejDd&fg“ddLefded$fdMed&fdHefg“d!dNe j8fd e j8d&fd#edfed «g“dOdPe j8fdQe j8d&fd#edfed «g“d(dRe j>dSfdTe j>dUfg“dVdWe j>d&fg“defdXe j>dYfdZe j>d&fdTe j>dUfgd1e j>d[fd e j>d\fd2e ze j>d&fd3e j>d]fd^e j>d&fd#ed]fgd_ed`fdae j>dbfdce j>d(fd#edfdde j>fgdeed&fdfefgdgœ¥Z$yh)irz@ Lexer for the Opa language. .. versionadded:: 1.5 ÚOpaÚopaz*.opaz text/x-opa)rrr±r&ÚclientÚcssÚdatabaseÚdbrr'r r¶Úforallr¹rÚimportrdr¾rìÚpackageÚparserr#Úserverr)r*r%r+Ú xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z [()\[\],;|]r z \\[\\"\'ntr}]rRr÷Úcommentsz/\*znested-commentz//.*?$zcomments-and-spacesrpr…z\b)ÚprefixÚsuffixÚ@z-?.[\d]+([eE][+\-]?\d+)z-?\d+.\d*([eE][+\-]?\d+)z-?\d+[eE][+\-]?\d+z0[xX][\da-fA-F]+z 0[oO][0-7]+z 0[bB][01]+z\d+z#[\da-fA-F]{3,6}rSrz9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'ràr�rãrTz<(?=[a-zA-Z>])z html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!rIz\b([A-Z]\w*)(?=\.)z=(?!z(%s)+rAr*rr@z#(?=\{)rC)rTú type-lhs-1útype-with-slashútype-1rŠ)rTú type-tuplez~?\{)rTú type-recordr0)rTú slash-type-1r1r4Ú/)rTr1r/)rTr*z(?=,))rTú type-arrowr6z ,(?=[^:]*?->)r2z[^()/*]+z[/*]r�r3z[^{}/*]+ú[^/*]+z\*/z[^\\"{]+ú single-stringz [^\\\'{]+z\'z[\w\-:]+)rTú html-attrrÖ)rTú html-contentú html-end-tagz [\w\-:]*>z [\w\-:]+=úhtml-attr-valuez/>)rTr8)rTr)rTr…z [^"\'{`=<>]+zz[^\-]+|-)r9r<r:r=N)%r“r”r•r–r—r˜r™ršrÚident_reÚop_reÚpunc_rer rUr rrrr r rrrr¤r¢rrr£r¡r r ÚSingler¨r`r©rr«r¬rZrXrrÀsj„ñð €D؈g€GØ� €IØ�€Ið €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Ð (Ø ˜Ñ  Ð *ð�8˜VÐ $ð�‰\˜7Ÿ<™<Ð (ð�(‰]˜FŸM™MÐ *Ø ˜Ÿ™Ð 'ð�tÐ ðcU ð%cðt Ù Ð)Ó *Ø �G—L‘LÐ !Ù Ð=Ó >ð ðucðF Ù Ð)Ó *Ø �G—L‘LÐ"8Ð 9Ø �g—l‘lÐ$;Ð <Ø �e‰^˜WŸ\™\Ð+AÐ BØ �w—|‘| VÐ ,Ø �‰\˜7Ÿ<™<Ð (ñ �F‹Oð  ðGcðh Ù Ð)Ó *Ù Ð6Ó 7ð ðicðp Ù Ð)Ó *Ø �'—,‘,Ð 2Ð 3á �F‹Oð  ðqcðH Ù Ð)Ó *Ø �G—L‘LÐ"2Ð 3Ø �w—|‘|Ð%;Ð <Ù �F‹Oð  ðIcðT Ù Ð)Ó *ð˜wŸ|™|Ð->Ð ?Ø �G—L‘LÐ"2Ð 3á �F‹Oð ðUcðt Ù Ð)Ó *Ø ˜'Ÿ,™,Ð 'Ø �g—l‘lÐ #Ø �G—L‘L 'Ð *Ø �G—L‘L &Ð )ð  ðucðB Ù Ð)Ó *Ø ˜'Ÿ,™,Ð 'Ø �g—l‘lÐ #Ø �G—L‘L 'Ð *Ø �G—L‘L &Ð )ð  ðCcðx Ø ˜Ð Ø �W˜gÐ &Ø �W˜fÐ %Ø �gÐ ð  ðycðJ Ø ˜&Ÿ-™-Ð (Ø �6—=‘= &Ð )Ø �H˜fÐ %Ù Ð%Ó &ð  ðKcðV Ø ˜6Ÿ=™=Ð )Ø �F—M‘M 6Ð *Ø �H˜fÐ %Ù Ð%Ó &ð  ðWcðp Ø ˜&Ÿ-™-Ð)>Ð ?Ø �6—=‘=Ð":Ð ;ð ðqcð~ à ˜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�FrZrcój—eZdZdZdZdZddgZddgZdgZd Z d Z d Z d Z d Z dZdZdej"fdej"fdej"fgdefdej(j*fdej,dfdej.fdej2fdej4dfddj7e «zefddj7e ddd…«zej<fd e›de ›d!e ›�efddj7e «zej<fddj7e«zej>fd"efd#e jBfd$e jDfd%e jFfd&e jHfd'e jJfd(ejLfd)ejLfd*efd+ejNd,fd-ejPfgd.ej4fd/ej4d0fd1ej4d2fd3ej4fgd4ejNfe)d5«d6ejNfd+ejNd2fgdefd7e*fd8ej,fd9ej.d2fd:ed2fe+d2«gd;œZ,y)©>¸8Ð DØ  $§*¡*Ð -Ø ˜Ÿ™Ð (Ø ˜7×,Ñ,¨iÐ 8Ø ˜3Ÿ8™8 HÓ-Ñ -¨wÐ 7Ø �s—x‘x ©¨"¨¡ Ó.Ñ .°· ± Ñ >Ú(ª+±yÐ AÀ8Ð LØ ˜3Ÿ8™8 NÓ3Ñ 3°X·]±]Ð CØ ˜3Ÿ8™8 JÓ/Ñ /°·±Ð >à ˜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ð  ña8�FrZrcó>—eZdZdZdZdZdgZddgZdgZdZ d Z d Z d Z d Z d ZdZdZdej$fdej$fdej$fgdefdej*j,fdej.dfdej0fdedfdefddj5e «zefddj5e «zej8fddj5e «zej:fddj5e ddd…«zefd e›de›d!e ›�efddj5e«zej>fd"efd#e jBfd$e jDfd%e jFfd&e jHfd'e jJfd(ejLfd)ejLfd*efd+ejNfd,efd-ejPd.fd/ejRfgd0efd1ed2fd3ed4fd5efgd6ejPfe*d7«d8ejPfd-ejPd4fgdefd9e+fd:ej.fd;ej0d4fdrz8 For the F* language. .. versionadded:: 2.7 ÚFStarzhttps://www.fstar-lang.org/Úfstarz*.fstz*.fstiz text/x-fstar)5ÚabstractÚ attributesÚnoeqÚunopteqÚandbeginÚbyrÚeffectr'r Úensuresr=Úexistsr·r%r!r¹rrrÚinlineÚinline_for_extractionÚ irreducibleÚlogicrdr¾r¿rÀÚ new_effectÚ noextractrr(ÚopaquerÂÚrange_ofÚ reifiableÚreifyÚ reflectableÚrequiresÚ set_range_ofÚ sub_effectÚsynthr)ÚtotalrÄrÅr*ÚunfoldÚ unfoldabler%rÇr+Únot)r"r#)ÚassumeÚadmitr°Úcalc)/rärÍz/\\z\\/z<:z<@z\(\|z\|\)r@zu#rÉrŠr�z\(\)rJz~>rCrÕz<--z<==>z==>rÏrÙz\?\.z\.\[z\.\(z\.\(\|z\.\[\|z \{:patternrArÑrÒrKrÓrBz%\[z!\{rÛz\[@rÞz\|>z\]z\|\]ràrFrãz\$rårírîrïrörRr÷rpzfalse|true|False|True|\(\)|\[\]rùr„rúrûrrz\/\/.+$rürwrvNrýrHrþrÿrrrrrrrrz\`([\w\'.]+)\`z\`rSrrr rqr�r‘rTr’r r r rÏr rrr).r“r”r•r–r—rr˜r™ršrÚ decl_keywordsÚassume_keywordsrrrrrr rUrr rrr`rªr rŸr Ú ExceptionÚ Declarationr r©rr¤r¢rrr£r rr¡r¨rrrr«r¬rZrXrr`s¥„ñð €DØ '€C؈i€Gؘ(Ð#€IØÐ €Ið €Hð#€MØ;€Oð€Gð)€IØ€KØ$€JØT€Jð˜vŸ}™}Ð -Ø ˜FŸM™MÐ *Ø ! 6§=¡=Ð 1ð ð �TˆNØ /°·±×1DÑ1DÐ EØ )¨4¯>©>¸8Ð DØ  $§*¡*Ð -Ø ˜W iÐ 0Ø ˜Ð !Ø ˜3Ÿ8™8 HÓ-Ñ -¨wÐ 7Ø ˜3Ÿ8™8 OÓ4Ñ 4°d·n±nÐ EØ ˜3Ÿ8™8 MÓ2Ñ 2°G×4GÑ4GÐ HØ �s—x‘x ©¨"¨¡ Ó.Ñ .°Ñ 9Ú(ª+±yÐ AÀ8Ð LØ ˜3Ÿ8™8 JÓ/Ñ /°·±Ð >à ˜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:�FrZr)r–ryÚpygments.lexerrrrrrÚpygments.tokenrr r r r r rrrÚ__all__rrrrrr¬rZrXÚrusvðñó çHÕH÷÷õò N€ôLˆzôLô^ Z�ôZôz@ˆzô@ôF Z�*ôZôz`�õ`rZ