i7i>dZddlZddlmZmZmZmZmZddlm Z m Z m Z m Z m Z mZmZmZmZgdZGddeZGdd eZGd d eZGd d eZGddeZy)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) RegexLexerincludebygroupsdefaultwords) TextCommentOperatorKeywordNameStringNumber PunctuationError)SMLLexer OcamlLexerOpaLexer ReasonLexer FStarLexerc eZdZdZdZdgZgdZddgZdZdZ hd Z hd Z hd Z d Z d ZdZdZdZdZiddefdej*dfgddedfdedfdej0dfdej0dfdej0dfgdd j3d!j5d"e Defd#ej8d$fd%ej:d&fd'ej>fd(ej>fd)ej@fd*ejBfd+ejBfd,ejBfd-ej@fd.e"jFfd/e d0e"jFfd1ed0e"jFfd2ej0d3fd4ej0d5fd6ej0d7fd8ej0d9fd:e"jHfd;e d<ed=fd;e d0efd;ed0efgd=d;e d<efd;e d0edfd;ed0edfde%fd>e%fgd?e&dgde'dd@ej0dAfdBej0dCfe'de'dd>e%fgdDe'ddEefdej*dfdFej0dGfdHej0dIfdJedGfdKej0dLfe'de'dd>e%fg d$eej8d&eej:dMdNj3d!j5e edfgd7e'de'dMd;e d0e"jPfe&dgdGe'dd:e"jHfdOedPfd;e d0e"jRdfd;ed0e"jRdfe&dgdAe'dd:e"jHfdOedPfd;e dQedRe*e"jVeedfd;edQedRe*e"jVeedfd;e d0e"jVdfd;ed0e"jVdfe&dgd9e'de'dMd:e"jHfdOedPfdSed0edTfd;e d0ejXfd;ed0ejXfd>e%dfgdUe'ddVej0dWfe'dMe'dd>e%dfgd3e'de'dMd:e"jHfdOedPfdXe*eeej0dfdSed0edYfd;e d0ejXfd;ed0ejXfd>e%dfg dZe'ddVej0d[fd\ej0dWfd]ej0fd^e d0e*eee"jZfd_ed0e*eee"jZfe'dMe'dd>e%fg e'dd`e d0e*ej0ee"jZfdaed0e*ej0ee"jZfd]ej0fd;e dbed0e"jZfe&dge'dd;e d0e"jZdfd;ed0e"jZdfd>e%dfgdEefdej*dfd:e"jHfe e"fdcefddedfee"fgdeej*fdej*dffdgej*dfdhej*fgdiZ.yj)krz' For the Standard ML language. z Standard MLsml)z*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardmlz)https://en.wikipedia.org/wiki/Standard_ML1.5>)asdofnifinofopandendfunletrecsigvalcaseelseopenthentypewithinfixlocalraisewherewhileeqtypehandleinfixrnonfixorelsestructabstypeandalsofunctorrsharingdatatypewithtype 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 EscapeInterpol)whatkinds [/mnt/ssd/data/python-lab/ChefSystem/venv/lib/python3.12/site-packages/pygments/lexers/ml.pystringyzSMLLexer.stringy<s\  !  .  / FMM * !6== 1  ) 8V $  c#K|jd|jvrt}ntj}|j d||jdf|j dt |jdfyw)N)groupalphanumid_reservedrr Namespacestartrselfmatchtokens rYlong_id_callbackzSMLLexer.long_id_callbackKsd ;;q>T55 5ENNEkk!neU[[^33kk!nk5;;q>99sBBc#K|jd|jvrt}n*|jd|jvrt}nt}|j d||jdfywNr])r_r`rsymbolicid_reservedr rbrcs rYend_id_callbackzSMLLexer.end_id_callbackSs^ ;;q>T55 5E [[^t77 7EEkk!neU[[^33sA5A7c#K|jd}||jvrtj}n||jvrt }nt }|jd||fywri)r_r`r Reservedrjrr rb)rdrestrrfs rY id_callbackzSMLLexer.id_callback\sYkk!n $** *$$E D,, ,EEkk!neS((sA#A% whitespace\s+\(\*comment delimitersz\(|\[|\{mainz\)|\]|\}rUz\b(let|if|local)\b(?!\'))ruruz\b(struct|sig|while)\b(?!\')z\b(do|else|end|in|then)\b(?!\')core({})|c#FK|]}tj|yw)N)reescape).0zs rY zSMLLexer.|s$JaRYYq\$Js!z#"charrTstringz~?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*(rKz#\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\']*rJz)(\.)dottedz\S+rootz\b(val|and)\b(?!\')vnamez\b(fun)\b(?!\'))rUmain-funfnamerz\sz\b(fun|and)\b(?!\')rz\b(val)\b(?!\'))rUrurrGz\b(case|handle)\b(?!\'))rUrubreakoutz(?=\b({})\b(?!\'))\(tyvarseqz )(\s*)(=(?!z))=(?!)rUtypbindrz\b(and)\b(?!\'))rUrz(=)(\s*)(datatype))rUdatbinddatconr)rUrz\b(withtype)\b(?!\')z\b(of)\b(?!\')z (\|)(\s*)(z (\|)(\s+)(z (and\b)(\s+)(z (and\b)(\s*)(z)|(rL\)z[^(*)]#push\*\)[(*)])rrrrsN)/__name__ __module__ __qualname____doc__namealiases filenames mimetypesurl version_addedr`rjnonid_reserved alphanumid_re symbolicid_rerZrgrkrorr Multilinerr rmformatjoinr CharDoublerHexIntegerFloatr Label DecoratorrrrraFunctionrVariableTypeClasstokensr[rYrrs DgG+I$&@AI 5CM JN%M0M  :4)z TN g'' 3 z  +v . +v . ('*:*:.> G /1A1A6 J  z(  ^^CHH$J>$JJ K  FKK ( 6==( + &** -  , v~~ & #V\\ 2 FLL )  - v~~ &  ,m_A & 3m_A & 3 ,g.>.> H %w'7'7 A D   w ( ')9)97 C4>> *- &(8( C- "K 0- "K 0?  )zj - &(8 9- "OV <- "OV < UO UO  kz~  FO zJ  L !$W%5%5w ? !1!1 * , L ! FO UO  Kzf  L ! DM g'' 3$W%5%5w ? !1!1 & (K ) ')9)9   L ! FO UO% gzR  $SzT '&--(UzX  " ) )#((3F*G H$PV W Yzb  L ! J - "DNN 3 FO  czt  L ! 4>> * K ,- "DMM6 :- "DMM6 : FO  uzN  L ! 4>> * K ,- M?" = dmmT; 7 A- M?" = dmmT; 7 A- "DMM6 :- "DMM6 : FO Ozp  L ! J  4>> * K ,]O1 %{4G H- "GLL 1- "GLL 1 UF #  qzL  L ! !1!13D E J  FO UF # Mzb  L ! J  4>> * K , " k4)9)9 :F D]O1 %{ * ,- "GLL 1- "GLL 1 UF # czD  L ! !1!13D E $g&6&68I J  0 0 1=/ + k4 4 6=/ + k4 4 6 J  FO UO Ezj 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(( )  izFr[rc:eZdZdZdZdZdgZgdZdgZdZ dZ d Z d Z d Z d Zd ZdZdej$fdej$fdej$fgdefdej*j,fdej.dfdej0fdedfdj5dj7e efdj5dj7e dddefdedede efdj5dj7e ej<fdj5dj7eej>fd efd!e jBfd"e jDfd#e jFfd$e jHfd%e jJfd&ejLfd'ejLfd(efd)ejNd*fd+ejPfgd,efd-ed.fd/ed0fd1efgd2ejNfe)d3d4ejNfd)ejNd0fgdefd5e*fd6ej.fd7ej0d0fd8ed0fe+d0gd9Z,y):rz! For the OCaml language. OCamlzhttps://ocaml.org/ocaml)z*.mlz*.mliz*.mllz*.mlyz text/x-ocamlz0.7)0r rassertbeginclass constraintrdonedowntor(r!r>externalfalseforr"functionr:rrrinherit initializerlazyr#remethodmodulemutablenewobjectrr)privater/r$r%r7r*totruetryr+r&virtualwhenr1r,))!=rA&&&rr\*\+rL--\.rD\.\.\.rB:::=rErM;;<<-rC>>]>\}\?\?\?\[\[<\[>\[\|rOrI`\{\{?@^|~-])asrlandlorlsllxormodor[!?~][=<>@^|&+\*/$%-]unitintfloatboolrrlistarray \\[\\"\'ntbr]rS\\x[0-9a-fA-F]{2}rqfalse|true|\(\)|\[\]\b([A-Z][\w\']*)(?=\s*\.)r\b([A-Z][\w\']*) \(\*(?![)])rs\b({})\brxrwNrJ)? [^\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}))''.''rTr[~?][a-z][\w\']*:[^(*)]+rrrrrUr[^\\"]+escape-sequence\\\nr[A-Z][\w\']*(?=\s*\.) [A-Z][\w\']* [a-z_][\w\']*rrrsrr)-rrrrrrrrrrkeywordskeyopts operatorsword_operators prefix_syms infix_syms primitivesr rVrr BuiltinPseudorarr rrr r WordrrrrOctBinrrrrrrrrrr[rYrrcs D CiG3I IMHG)IGNK$JTJv}} - 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  _7Fr[rceZdZdZdZdgZdgZdgZdZdZ dZ d Z d Z d Z id d ejfdejfdejfgddedfdefgdeddefgdedee ddefde zdzej,j.fdej2fdej2fdej2fdej4fdej6fdej8fd ej:fd!ej:fd"ej<d#fd$ej>fd%e d&fd'e d(fd)ejBd*fd+ejDfd,e zd-zejDfd.ejFfd/e zd-zefd0e d1e fd0e d1e fd2e d3fd4e zejHfd5e zejBfd6ejBfe efgd3edd7ejHfe%d8gd9edd:ejHd;fdede%d?gd@eddAejHdBfe%d(gdCedd7ejHdDfdEejHdFfe%d(gdGeddHejHd>fd7ejHdDfe%d(gdIeddJejHfdKejHfd:ejHd&fdLejHd(fgdMeddNejHfdKejHfd%ejHd&fd'ejHd(fgddOefded&fdPed(fdKefgd#dQej<fd"ej<d(fd%e dfed gdRdSej<fdTej<d(fd%e dfed gd*dUejBdVfdWejBdXfgdYdZejBd(fgdefd[ejBd\fd]ejBd(fdWejBdXfgd4ejBd^fd"ejBd_fd5e zejBd(fd6ejBd`fdaejBd(fd%e d`fgdbedcfddejBdefdfejBd*fd%e dfdgejBfgdhed(fdiefgdjZ&yk)lrz% Lexer for the Opa language. Opaopaz*.opaz text/x-opazhttp://opalang.orgr)r rrr'clientcssdatabasedbrr(r!rforallrrimportrerrpackageparserr$serverr*r+r&r, xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z [()\[\],;|]rz \\[\\"\'ntr}]rSrcommentsz/\*znested-commentz//.*?$zcomments-and-spacesrqrz\b)prefixsuffix@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}rTrz9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'rrrrUz<(?=[a-zA-Z>])z html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!rKz\b([A-Z]\w*)(?=\.)rrJz)+rBr+r rAz#(?=\{)rD)rU type-lhs-1type-with-slashtype-1r)rU type-tuplez~?\{)rU type-recordr4)rU slash-type-1r5r8/)rUr5r3)rUr+z(?=,))rU type-arrowr:z ,(?=[^:]*?->)r6z[^()/*]+z[/*]rr7z[^{}/*]+[^/*]+z\*/z[^\\"{]+ single-stringz [^\\\'{]+z\'z[\w\-:]+)rU html-attrr)rU html-content html-end-tagz [\w\-:]*>z [\w\-:]+=html-attr-valuez/>)rUr<)rUr)rUrz [^"\'{`=<>]+zz[^\-]+|-)r=r@r>rAN)'rrrrrrrrrrrident_reop_repunc_rer rVr rrrr r rrrrrr r!rrrr Singlerrarrrrr[rYrrs{ DgG II CM H-H "EGc 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^^ $ &.. 16==( +J [[ Hg & Hf %  ?&t}} 5e^D $-- 0 #DNN 3 U]4  )%^X &'" x (8V $\7<< ((]FMM *  't cU %ct  ) * GLL ! = > ucF  ) * GLL"8 9 gll$; < e^W\\+A B w||V , \7<< ( FO  Gch  ) * 6 7 icp  ) * ',, 2 3 FO  qcH  ) * GLL"2 3 w||%; < FO  IcT  ) *w||-> ? GLL"2 3 FO Uct  ) * ',, ' gll # GLL' * GLL& )  ucB  ) * ',, ' gll # GLL' * GLL& )  Ccx   Wg & Wf % g   ycJ  &-- ( 6==& ) Hf % % &  KcV  6== ) FMM6 * Hf % % &  Wcp  &--)> ? 6==": ; qc~  6==& 1 cNTN 6==*; < FMM6 * 6==": ;  6=="; < 6=="4 5 (]FMM6 2 (8 9 fmmV 4 H. /  g~ . FMM#; < 6==/ 2 Hf %  &  Wf % ' " cFr[rceZdZdZdZdZddgZddgZdgZd Z d Z d Z d Z d Z dZdZdZdej$fdej$fdej$fgdefdej*j,fdej.dfdej0fdej4fdej6dfdj9dj;e efdj9dj;e ddd ej@fd!eded"e efdj9dj;e ej@fdj9dj;eejBfd#efd$e"jFfd%e"jHfd&e"jJfd'e"jLfd(e"jNfd)ejPfd*ejPfd+efd,ejRd-fd.ejTfgd/ej6fd0ej6d1fd2ej6d3fd4ej6fgd5ejRfe+d6d7ejRfd,ejRd3fgdefd8e,fd9ej.fd:ej0d3fd;ed3fe-d3gd<Z.y)=rz$ For the ReasonML language. ReasonMLzhttps://reasonml.github.io/reasonmlreasonz*.rez*.reiztext/x-reasonmlz2.6)0rrrrrrrrr(r!r>rrrr"esfunrr:rrrrrrr#switchrpubrrnonrecrrr)prir$r%r7r*rrrr+r&rrr1r,)+rrArrrrrrrLrrrFrrz\.\.\.rBrrrErMrrrrCrrrrrrrrrrOrIrrrrGz\|\|rrrr) r rrrrlsrrrrrrrrrSrrqrrrrz//.*?\nz \/\*(?!/)rsrrxrwNrrJrrrrrrr r r r rTrr r;z\/\*rz\*\/rUrrrrrrrrr)/rrrrrrrrrrrrrrrrrr rVrr rrrarr rErrrr r rrrrrr r!rrrrrrrrrr[rYrrs D 'C8$G!I"#IMHG)IUNK$JTJv}} - 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  a8Fr[rceZdZdZdZdZdgZddgZdgZdZ d Z d Z d Z d Z d ZdZdZdZdej&fdej&fdej&fgdefdej,j.fdej0dfdej2fdedfdefdj7dj9e efdj7dj9e ej<fdj7dj9e ej>fdj7dj9e ddd e fd!eded"ee fdj7dj9eejBfd#efd$e"jFfd%e"jHfd&e"jJfd'e"jLfd(e"jNfd)ejPfd*ejPfd+efd,e jRfd-efd.ejTd/fd0ejVfgd1efd2ed3fd4ed5fd6efgd7ejTfe,d8d9ejTfd.ejTd5fgdefd:e-fd;ej0fdZ/y)?rz For the F* language. FStarzhttps://www.fstar-lang.org/fstarz*.fstz*.fstiz text/x-fstarz2.7)5abstract attributesnoequnopteqandbeginbyreffectr(r!ensuresr>existsrr)r"rrrrinlineinline_for_extraction irreduciblelogicrerrr new_effect noextractrr)opaquerrange_of reifiablereify reflectablerequires set_range_of sub_effectsynthr*totalrrr+unfold unfoldabler&rr,not)r#r$)assumeadmitrcalc)/rrz/\\z\\/z<:z<@z\(\|z\|\)rAzu#rrrz\(\)rLz~>rDrz<--z<==>z==>rrz\?\.z\.\[z\.\(z\.\(\|z\.\[\|z \{:patternrBrrrMrrCz%\[z!\{rz\[@rz\|>z\]z\|\]rrGrz\$rrrrrrSrrqzfalse|true|False|True|\(\)|\[\]rrrrrsz\/\/.+$rrxrwNrrJrrrrrrr r r r z\`([\w\'.]+)\`z\`rTrr rrrrrrUrrrrrrrrr)0rrrrrrrrrrr decl_keywordsassume_keywordsrrrrrr rVrr rrrarr rrr Exception Declarationr rrrrr r!rrrrrrrrrrr[rYrr^s D 'CiG(#I IM H#M;OG)IK$JTJv}} - 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= B ! gw ' gv & w    ' % & fmm $ 6==& )  TN K %t~~ 6 djj& 1 tV , FO  e:Fr[r)rrzpygments.lexerrrrrrpygments.tokenrr r r r r rrr__all__rrrrrrr[rYrysv HH NLzL^ YYx@z@F Y*Yx``r[