/usr/lib/rads/venv/lib/python3.13/site-packages/pygments/lexers/__pycache__
Edit: /usr/lib/rads/venv/lib/python3.13/site-packages/pygments/lexers/__pycache__/ml.cpython-313.pyc (26264B)
j> S r SSKrSSKJrJrJrJrJr SSKJ r J
r
J r J r J
r
JrJrJrJr / SQr " S S\5 r " S S \5 r " S
S \5 r " S S
\5 r " S S\5 rg)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 \ rS rSrSrSrS/r/ SQrSS/rSr S r
1 S
kr 1 S kr 1 S kr
S
rSrS rS rS rS r0 SS\4S\R, S4/_SS\S4S\S4S \R2 S 4S \R2 S4S \R2 S4/_S S!R5 S"R7 S# \
5 5 5 \4S$\ R: S%4S&\ R< S'4S(\ R@ 4S)\ R@ 4S*\ RB 4S+\ RD 4S,\ RD 4S-\ RD 4S.\ RB 4S/\#RH 4S0\ S13\#RH 4S2\ S13\#RH 4S3\R2 S44S5\R2 S64S7\R2 S84S9\R2 S:4S;\#RJ 4S<\ S=3\S>4S<\ S13\4S<\ S13\4/_S>S<\ S=3\4S<\ S13\S4S<\ S13\S4S\&4S?\&4/_S@\'" S5 /_S\(" S5 SA\R2 SB4SC\R2 SD4\(" S5 \(" S 5 S?\&4/_SE\(" S5 SF\4S\R, S4SG\R2 SH4SI\R2 SJ4SK\SH4SL\R2 SM4\(" S5 \(" S 5 S?\&4/
_S%\" \ R: 5 _S'\" \ R< 5 _SNSOR5 S"R7 \ 5 5 \S4/_S8\(" S5 \(" SN5 S<\ S13\#RR 4\'" S5 /_SH\(" S5 S;\#RJ 4SP\SQ4S<\ S13\#RT S4S<\ S13\#RT S4\'" S5 /_SB\(" S5 S;\#RJ 4SP\SQ4S<\ SR\ SS3\+" \#RX \\5 S4S<\ SR\ SS3\+" \#RX \\5 S4S<\ S13\#RX S4S<\ S13\#RX S4\'" S5 /_S:\(" S5 \(" SN5 S;\#RJ 4SP\SQ4ST\ S13\SU4S<\ S13\RZ 4S<\ S13\RZ 4S?\&S4/_SV\(" S5 SW\R2 SX4\(" SN5 \(" S 5 S?\&S4/_S4\(" S5 \(" SN5 S;\#RJ 4SP\SQ4SY\+" \\\R2 5 S4ST\ S13\SZ4S<\ S13\RZ 4S<\ S13\RZ 4S?\&S4/ _S[\(" S5 SW\R2 S\4S]\R2 SX4S^\R2 4S_\ S13\+" \\\#R\ 5 4S`\ S13\+" \\\#R\ 5 4\(" SN5 \(" S 5 S?\&4/ _\(" S5 Sa\ S13\+" \R2 \\#R\ 5 4Sb\ S13\+" \R2 \\#R\ 5 4S^\R2 4S<\ Sc\ S13\#R\ 4\'" S5 /\(" S5 S<\ S13\#R\ S4S<\ S13\#R\ S4S?\&S4/SF\4S\R, S4S;\#RJ 4\\#4Sd\4Se\S4\\#4/Sf\R, 4S\R, Sg4Sh\R, S4Si\R, 4/Sj.Er/Skr0gl)mr z
For the Standard ML language.
z Standard MLsml)z*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardmlz)https://en.wikipedia.org/wiki/Standard_ML1.5>) asdofnifinofopandendfunletrecsigvalcaseelseopenthentypewithinfixlocalraisewherewhileeqtypehandleinfixrnonfixorelsestructabstypeandalsofunctorr sharingdatatypewithtype exception signature structure> #:=->:>=>\|>
(),;[]_{}...z[a-zA-Z][\w']*z[!%&$#+\-/:<=>?@\\~`^|*]+c SU 4S[ R 4S[ R 4S[ R 4S[ R 4S[ R 4SU S4/$ ) Nz[^"\\]z\\[\\"abtnvfr]z\\\^[\x40-\x5e]
\\[0-9]{3}z\\u[0-9a-fA-F]{4}z\\\s+\\"#pop)r
EscapeInterpol)whatkinds E/usr/lib/rads/venv/lib/python3.13/site-packages/pygments/lexers/ml.pystringySMLLexer.stringy< s\
!
. /
FMM *
!6== 1
)
8V $
c # # UR S5 U R ; a [ nO[ R nUR S5 X!R S5 4v UR S5 [ UR S5 4v g 7f)N )groupalphanumid_reservedr r Namespacestartr selfmatchtokens rZ long_id_callbackSMLLexer.long_id_callbackK sa ;;q>T 5 5 5ENNEkk!ne[[^33kk!nk5;;q>99s BBc # # UR S5 U R ; a [ nO,UR S5 U R ; a [ nO[ nUR S5 X!R S5 4v g 7fNr_ )ra rb r symbolicid_reservedr rd re s rZ end_id_callbackSMLLexer.end_id_callbackS s[ ;;q>T 5 5 5E
[[^t 7 7
7EEkk!ne[[^33s A8A:c # # UR S5 nX R ; a [ R nO X R ; a [
nO[ nUR S5 X24v g 7frl )ra rb r Reservedrm r r rd )rf rg strrh s rZ id_callbackSMLLexer.id_callback\ sR kk!n ** *$$E
,,
, EEkk!ne((s A$A&
whitespace\s+\(\*comment
delimitersz\(|\[|\{mainz\)|\]|\}rV z\b(let|if|local)\b(?!\'))rz rz z \b(struct|sig|while)\b(?!\')z \b(do|else|end|in|then)\b(?!\')core({})|c # N # U H n[ R " U5 v M g 7f)N)reescape).0zs rZ
SMLLexer.| s $J>aRYYq\\>s #%z#"charrU 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*(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(?!\'))rV main-funfnamer z\sz\b(fun|and)\b(?!\')r z\b(val)\b(?!\'))rV rz r rH z\b(case|handle)\b(?!\'))rV rz breakoutz(?=\b({})\b(?!\'))\(tyvarseqz )(\s*)(=(?!z))=(?!)rV typbindr z\b(and)\b(?!\'))rV r z(=)(\s*)(datatype))rV datbinddatconr )rV 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 rx N)1__name__
__module__ __qualname____firstlineno____doc__namealiases filenames mimetypesurl
version_addedrb rm nonid_reserved
alphanumid_re
symbolicid_rer[ ri rn rs r r Multiliner r rq formatjoinr
CharDoubler HexIntegerFloatr Label Decoratorr r r rc Functionr VariableTypeClasstokens__static_attributes__r r] rZ r r s DgG+I$&@AI
5CM JN%M0M
:4)z
TN
g'' 3
z +v .
+v .
('*:*:.> G
/1A1A6 J
z(
^^CHH$J>$J J
K
FKK (
6==( +
&** -
,
v~~ &
#V\\ 2
FLL )
-
v~~ & ,m_A
&
3m_A
&
3
,g.>.> H
%w'7'7 A
D
w
(
')9)97 C 4>> *-
&(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] r c B \ rS rSrSrSrSrS/r/ SQrS/r Sr
S r S
r S r
S rS
rSrSrS\R& 4S\R& 4S\R& 4/S\4S\R, R. 4S\R0 S4S\R2 4S\S4SR7 SR9 \ 5 5 \ 4S R7 SR9 \ S S S 2 5 5 \ 4S \ S\ S \
3\ 4SR7 SR9 \5 5 \ R> 4SR7 SR9 \5 5 \ R@ 4S!\4S"\!RD 4S#\!RF 4S$\!RH 4S%\!RJ 4S&\!RL 4S'\RN 4S(\RN 4S)\ 4S*\RP S+4S,\RR 4/S-\4S.\S/4S0\S14S2\4/S3\RP 4\*" S45 S5\RP 4S*\RP S14/S\4S6\+4S7\R0 4S8\R2 S14S9\S14\," S15 /S:.r-S;r.g )>]>\}\?\?\?\[\[<\[>\[\|rN rO `\{\{?@^|~-])asrlandlorlsllxormodor[!?~][=<>@^|&+\*/$%-]unitintfloatboolr r listarray
\\[\\"\'ntbr]rT \\x[0-9a-fA-F]{2}rv false|true|\(\)|\[\]\b([A-Z][\w\']*)(?=\s*\.)r \b([A-Z][\w\']*) \(\*(?![)])rx \b({})\br} r| NrI )?
[^\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}))''.''rU r [~?][a-z][\w\']*:[^(*)]+rw r r rV r [^\\"]+escape-sequence\\\nr [A-Z][\w\']*(?=\s*\.) [A-Z][\w\']*
[a-z_][\w\']*r r rx r r r )/r r r r r r r r r r r keywordskeyopts operatorsword_operators prefix_syms
infix_syms
primitivesr
rW r r BuiltinPseudorc r r r r r r
Wordr r r r OctBinr r r r r r r r r r r] rZ r r c s D
CiG3I IMHG )IGNK$JTJ 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
_7Fr] r c \ rS rSrSrSrS/rS/rS/rSr Sr
S r S
r S r
S r0 S
S\R 4S\R 4S\R 4/_SS\S4S\4/_S\" S5 S\4/_S\" S5 \" \ SSS9\4S\ - S- \R. R0 4S\R4 4S \R4 4S \R4 4S \R6 4S \R8 4S \R: 4S!\R< 4S"\R< 4S#\R> S$4S%\R@ 4S&\!S'4S(\!S)4S*\RD S+4S,\RF 4S-\
- S.- \RF 4S/\RH 4S0\
- S.- \4S1\
S23\!4S1\ S23\!4S3\!S44S5\ - \RJ 4S6\ - \RD 4S7\RD 4\ \4/_S4\" S5 S8\RJ 4\&" S95 /_S:\" S5 S;\RJ S<4S=\RJ S>4\ S;- \RJ S<4\ \RJ S)4S5\ - \RJ 4\&" S)5 /_S?\" S5 \&" S@5 /_SA\" S5 SB\RJ SC4\&" S)5 /_SD\" S5 S8\RJ SE4SF\RJ SG4\&" S)5 /_SH\" S5 SI\RJ S?4S8\RJ SE4\&" S)5 /_SJ\" S5 SK\RJ 4SL\RJ 4S;\RJ S'4SM\RJ S)4/_SN\" S5 SO\RJ 4SL\RJ 4S&\RJ S'4S(\RJ S)4/_SSP\4S\S'4SQ\S)4SL\4/_S$SR\R> 4S#\R> S)4S&\!S4\" S
5 /_SSST\R> 4SU\R> S)4S&\!S4\" S
5 /_S+SV\RD SW4SX\RD SY4/_SZS[\RD S)4/_S\4S\\RD S]4S^\RD S)4SX\RD SY4/S5\RD S_4S#\RD S`4S6\ - \RD S)4S7\RD Sa4Sb\RD S)4S&\!Sa4/Sc\Sd4Se\RD Sf4Sg\RD S+4S&\!S4Sh\RD 4/Si\S)4Sj\4/Sk.Er'Slr(gm)nr i z
Lexer for the Opa language.
Opaopaz*.opaz
text/x-opazhttp://opalang.orgr ) r! r r r( clientcssdatabasedbr r) r" r forallr r importrg r r packageparserr% serverr+ r, r' r-
xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z [()\[\],;|]r z
\\[\\"\'ntr}]rT r commentsz/\*znested-commentz//.*?$zcomments-and-spacesrv r z\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}rU r z9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'r r r rV z<(?=[a-zA-Z>])z
html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!rJ z\b([A-Z]\w*)(?=\.)r rI z)+rC r, r rB z#(?=\{)rE )rV
type-lhs-1type-with-slashtype-1r )rV
type-tuplez~?\{)rV type-recordr< )rV slash-type-1r= r@ /)rV r= r; )rV r, z(?=,))rV
type-arrowrB z
,(?=[^:]*?->)r> z[^()/*]+z[/*]r r? z[^{}/*]+[^/*]+z\*/z[^\\"{]+
single-stringz [^\\\'{]+z\'z[\w\-:]+)rV html-attrr )rV html-content html-end-tagz [\w\-:]*>z [\w\-:]+=html-attr-valuez/>)rV rD )rV r )rV r z [^"\'{`=<>]+zz[^\-]+|-)rE rH rF rI r N))r r r r r r r r r r r r ident_reop_repunc_rer
rW r r r r r r r% r& r r r r( r) r r r r
Singler rc r r r r r r] rZ r r s{ DgG I I
CM
H -H "E Gc
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 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
cN TN
6==*; <
FMM6 *
6==": ;
6=="; <
6=="4 5
(]FMM6 2
(8 9
fmmV 4
H . /
g~ .
FMM#; <
6==/ 2
Hf %
&
Wf %
' "
cFr] r c \ rS rSrSrSrSrSS/rSS/rS /r S
r
S r S r S
r
SrSrSrSrS\R& 4S\R& 4S\R& 4/S\4S\R, R. 4S\R0 S4S\R2 4S\R6 4S\R8 S 4S R; S R= \ 5 5 \ 4S R; S R= \ S S S!2 5 5 \ RB 4S"\ S \ S#\
3\ 4S R; S R= \5 5 \ RB 4S R; S R= \5 5 \ RD 4S$\4S%\#RH 4S&\#RJ 4S'\#RL 4S(\#RN 4S)\#RP 4S*\RR 4S+\RR 4S,\ 4S-\RT S.4S/\RV 4/S0\R8 4S1\R8 S24S3\R8 S44S5\R8 4/S6\RT 4\," S75 S8\RT 4S-\RT S44/S\4S9\-4S:\R0 4S;\R2 S44S<\S44\." S45 /S=.r/S>r0g )?r i z
For the ReasonML language.
ReasonMLzhttps://reasonml.github.io/reasonmlreasonz*.rez*.reiztext/x-reasonmlz2.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& r8 r+ r r r r, r' r r r2 r- )+r rB r r r r r r rK r r rG r r z\.\.\.rC r r rF rL r r r rD r r r r r r r r r rN rO r r r rH z\|\|r r r r ) r! r r r r lsrr r r r r r r rT r rv r r r r z//.*?\nz \/\*(?!/)rx r r} r| Nr
rI r r r
r r r r r r r rU r r rC z\/\*r z\*\/rV r r r r r r r r r r )1r r r r r r r r r r r r r r r! r" r# r$ r
rW r r r% r& rc r r rM r r r r r
r' r r r r r( r) r r r r r r r r r r r] rZ r r s D
'C8$G!I"#IMHG )IUNK$JTJ 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
a8Fr] r c \ rS rSrSrSrSrS/rSS/rS/r S r
S
r S r S r
S
rSrSrSrSrS\R( 4S\R( 4S\R( 4/S\4S\R. R0 4S\R2 S4S\R4 4S\S4S \4S R9 S R; \ 5 5 \ 4S R9 S R; \
5 5 \R> 4S R9 S R; \ 5 5 \ R@ 4S R9 S R; \S S S!2 5 5 \!4S"\ S \ S#\ 3\!4S R9 S R; \5 5 \ RD 4S$\4S%\#RH 4S&\#RJ 4S'\#RL 4S(\#RN 4S)\#RP 4S*\RR 4S+\RR 4S,\ 4S-\!RT 4S.\ 4S/\RV S04S1\RX 4/S2\4S3\S44S5\S64S7\4/S8\RV 4\-" S95 S:\RV 4S/\RV S64/S\4S;\.4S<\R2 4S=\R4 S64S>\S64\/" S65 /S?.r0S@r1g )Ar i^ z
For the F* language.
FStarzhttps://www.fstar-lang.org/fstarz*.fstz*.fstiz text/x-fstarz2.7)5abstract
attributesnoequnopteqandbeginbyr effectr) r" ensuresr? existsr r1 r# r r r r inlineinline_for_extraction irreduciblelogicrg r r r
new_effect noextractr r* opaquer range_of reifiablereify reflectablerequires set_range_of
sub_effectsynthr+ totalr r r, unfold
unfoldabler' r r- not)r$ r% )assumeadmitr calc)/r r z/\\z\\/z<:z<@z\(\|z\|\)rB zu#r r r z\(\)rK z~>rE r z<--z<==>z==>r r z\?\.z\.\[z\.\(z\.\(\|z\.\[\|z
\{:patternrC r r rL r rD z%\[z!\{r z\[@r z\|>z\]z\|\]r rH r z\$r r r r r rT r rv z false|true|False|True|\(\)|\[\]r r r r rx z\/\/.+$r r} r| Nr
rI r r r
r r r r r r r z\`([\w\'.]+)\`z\`rU r r r rw r r rV r r r r r r r r r r )2r r r r r r r r r r r r
decl_keywordsassume_keywordsr r r" r# r$ r
rW r r r% r& rc r r r r r Exception Declarationr
r r r r r( r) r r r' r r r r r r r r r] rZ r r ^ s D
'CiG(#I IM
H #M;OG )IK$JTJ 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=
B !
gw '
gv &
w
' % &
fmm $
6==& )
TN
K
%t~~ 6
djj& 1
tV , FO
e:Fr] r )r r pygments.lexerr r r r r pygments.tokenr r r
r r r
r r r __all__r r r r r r r] rZ r sv
H H NLz L^
Y Yx@z @F
Y* Yx` `r]