xref: /plugin/mizarverifiabledocs/src/mizar-parser.js (revision f9af214843e8c2b89a2d2da76eb37f51a5760446)
1// This file was generated by lezer-generator. You probably shouldn't edit it.
2import {LRParser} from "@lezer/lr"
3import {highlighting} from "./highlight.js"
4export const parser = LRParser.deserialize({
5  version: 14,
6  states: "!jOQOPOOOOOO'#Cl'#ClOOOO'#Cj'#CjQQOPOOOQOPO'#ClOQOPO'#ClOQOPO'#ClOOOO-E6h-E6hOoOPO,59WOvOPO,59WO}OPO,59WOOOO1G.r1G.r",
7  stateData: "!d~OQPORPOSPOTPOUPOVPOWSOYTO[UO~OXZO~PQOZZO~PQO]ZO~PQOVUQRSTWXYZ[]W~",
8  goto: "!OaPPPPPPPPPPPPPPbPtQROWVRWXYQWSQXTRYUaQORSTUWXY",
9  nodeNames: "⚠ Program KeywordControl SupportFunction KeywordOther EntityNameType ReasoningPhrase Comment OpenParen CloseParen OpenBrace CloseBrace OpenBracket CloseBracket",
10  maxTerm: 16,
11  propSources: [highlighting],
12  skippedNodes: [0],
13  repeatNodeCount: 1,
14  tokenData: "Nd~Rmvw!|xy#Ryz#W![!]#]!}#O#z#P#Q$P#T#U$U#U#V(O#V#W)l#W#X3U#X#Y5W#Y#Z8]#Z#[8{#[#]9_#]#^:g#`#a>Y#a#b>f#b#c?R#c#d?j#d#e@o#e#fA}#f#gBZ#g#hFu#h#iJT#i#jLR#j#kLk#k#lMv#o#pNY#q#rN_~#ROQ~~#WOW~~#]OX~~#`P![!]#c~#hSV~OY#cZ;'S#c;'S;=`#t<%lO#c~#wP;=`<%l#c~$PO[~~$UO]~~$XR#b#c$b#g#h%Y#h#i'r~$eQ#W#X$k#h#i$p~$pOS~~$sP#c#d$v~$yP#b#c$|~%PP#m#n%S~%VP#a#b$k~%_QS~#g#h%e#m#n'S~%hQ#c#d%n#i#j&v~%qP#V#W%t~%wP#]#^%z~%}P#T#U&Q~&TP#h#i&W~&ZP#]#^&^~&aP#j#k&d~&gP#]#^&j~&mP#h#i&p~&sP#m#n$k~&yP#a#b&|~'PP#X#Y$k~'VP#a#b'Y~']P#a#b'`~'cP#X#Y'f~'iP#h#i'l~'oP#f#g&p~'uP#h#i'x~'{P#f#g$k~(RQ#X#Y(X#m#n(}~([Rpq$k#Z#[(e#]#^(q~(hP#]#^(k~(nP#b#c$k~(tP#b#c(w~(zP#Z#[!|~)SUU~OY(}Z!](}!^#Q(}#R;'S(};'S;=`)f<%lO(}~)iP;=`<%l(}~)oR#T#U)x#`#a+P#c#d+|~){Q#b#c*R#g#h*q~*UP#V#W*X~*[P#X#Y*_~*bP#`#a*e~*hP#X#Y*k~*nP#W#X$k~*tP#X#Y*w~*|PT~#g#h$k~+SP#i#j+V~+YP#g#h+]~+`P#h#i+c~+fP#X#Y+i~+lP#f#g+o~+tPS~#g#h+w~+|OR~~,PS#[#],]#a#b,{#b#c.W#f#g2l~,`P#X#Y,c~,fP#f#g,i~,lP#X#Y,o~,rP#b#c,u~,xP#V#W&|~-OQ#a#b-U#d#e-b~-XP#i#j-[~-_P#h#i%z~-eP#T#U-h~-kP#h#i-n~-qP#]#^-t~-wP#U#V-z~-}P#]#^.Q~.TP#`#a&d~.ZR#b#c.d#g#h/l#h#i1j~.gP#X#Y.j~.mP#V#W.p~.sP#h#i.v~.yP#X#Y.|~/PP#W#X/S~/VP#b#c/Y~/]P#X#Y/`~/cP#g#h/f~/iP#g#h$k~/oQ#]#^/u#h#i0n~/xQ#W#X0O#g#h0U~0RP#X#Y'x~0XP#h#i0[~0_P#X#Y0b~0eP#b#c0h~0kP#V#W&p~0qP#f#g0t~0wP#i#j0z~0}P#V#W1Q~1TP#h#i1W~1ZP#c#d1^~1aP#f#g1d~1gP#g#h+w~1mP#f#g1p~1sP#T#U1v~1yP#W#X1|~2PP#]#^2S~2VP#V#W2Y~2]P#h#i2`~2cP#]#^2f~2iP#c#d(k~2oP#f#g2r~2uP#X#Y2x~2{P#V#W3O~3RP#h#i/S~3XP#X#Y3[~3_P#Y#Z3b~3gRS~#Y#Z3p#]#^4S#d#e5Q~3sP#i#j3v~3yP#b#c3|~4PP#V#W$k~4VP#b#c4Y~4]P#]#^4`~4cP#h#i4f~4iP#]#^4l~4oP#c#d4r~4uP#b#c4x~4}PR~#g#h+w~5TP#f#g*e~5ZR#b#c5d#e#f6O#l#m6}~5gQ#W#X5m#j#k5r~5rOT~~5uP#]#^5x~5{P#f#g2f~6RP#i#j6U~6XP#T#U6[~6_P#`#a6b~6eQ#]#^6k#g#h$k~6nP#h#i6q~6tP#]#^6w~6zP#X#Y1d~7QRpq!|#]#^7Z#d#e7g~7^P#g#h7a~7dP#h#i,i~7jP#T#U7m~7pP#b#c7s~7vP#g#h7y~7|P#]#^8P~8SP#c#d8V~8YP#b#c1d~8`R#c#d8i#f#g8o#i#j3v~8lP#f#g!|~8rP#c#d8u~8xP#a#b(}~9OP#]#^9R~9UP#j#k9X~9[P#X#Y(k~9bQ#X#Y9h#c#d:T~9kQ#b#c,u#f#g9q~9tP#X#Y9w~9zP#U#V9}~:QP#m#n5m~:WP#`#a:Z~:^P#W#X:a~:dP#g#h!|~:jV#W#X;P#Y#Z;i#a#b;r#b#c<[#f#g=^#g#h>S#h#i$k~;SP#X#Y;V~;YP#a#b;]~;`P#d#e;c~;fP#c#d7a~;lQpq$k#Y#Z!|~;uP#d#e;x~;{P#`#a<O~<RP#]#^<U~<XP#X#Y:a~<_P#j#k<b~<eP#c#d<h~<kP#`#a<n~<qP#i#j<t~<wP#h#i<z~<}P#]#^=Q~=TP#j#k=W~=ZP#X#Y/S~=aP#f#g=d~=gP#X#Y=j~=mP#Y#Z=p~=sP#`#a=v~=yP#X#Y=|~>PP#l#m&W~>VPpq$k~>]P#X#Y>`~>cP#h#i$k~>iQ#X#Y>o#c#d>{~>rP#T#U>u~>xP#b#c/f~?OP#W#X&|~?UP#c#d?X~?[Q#h#i?b#k#l5m~?gPQ~#T#U4`~?mS#Y#Z$k#f#g!|#h#i?y#j#k0O~?|P#[#]@P~@SP#X#Y@V~@YP#f#g@]~@`P#k#l@c~@fP#]#^@i~@lP#g#h&|~@rQ#X#Y'x#f#g@x~@{Q#X#Y*k#c#dAR~AUR#^#_A_#c#dAk#j#kAq~AbP#X#YAe~AhP#V#W&Q~AnP#Y#Z5m~AtP#]#^Aw~AzP#W#X*e~BQP#i#jBT~BWP#T#U$k~B^P#X#YBa~BdU#V#WBv#W#XCf#Y#Z=p#Z#[DO#e#fEa#g#hFc~ByP#c#dB|~CPP#b#cCS~CVP#g#hCY~C]P#]#^C`~CcP#W#X0O~CiP#X#YCl~CoP#Y#ZCr~CuP#]#^Cx~C{P#b#c&|~DRP#]#^DU~DXP#g#hD[~D_P#h#iDb~DeP#f#gDh~DkP#T#UDn~DqP#h#iDt~DwP#]#^Dz~D}P#c#dEQ~ETP#b#cEW~EZQpq+w#g#h+w~EdP#i#jEg~EjP#]#^Em~EpP#f#gEs~EvP#X#YEy~E|P#a#bFP~FSP#X#YFV~FYP#b#cF]~F`P#h#i1d~FfP#X#YFi~FlP#f#gFo~FrP#j#k&|~FxT#V#WGX#]#^Gq#h#iHm#i#jIR#m#nIz~G[P#[#]G_~GbP#X#YGe~GhP#a#bGk~GnP#X#Y4x~GtP#Z#[Gw~GzP#b#cG}~HQP#T#UHT~HWP#h#iHZ~H^P#i#jHa~HdP#f#gHg~HjP#X#Y+w~HrPQ~#f#gHu~HxP#i#jH{~IOP#V#W>`~IUQ#V#WI[#d#eIb~I_P#[#]$k~IeP#d#eIh~IkP#c#dIn~IqP#g#hIt~IwP#X#Y5m~I}Q#a#b'Y#b#c$p~JWR#T#UJa#[#]Jg#f#gKi~JdP#_#`&|~JjR#T#U>`#X#YJs#i#j/f~JvR#b#c$k#c#dKP#g#hKc~KSP#f#gKV~KYP#X#YK]~K`P#a#b4x~KfP#]#^/f~KlP#T#UKo~KrP#b#cKu~KxP#g#hK{~LOP#]#^&Q~LUP#b#cLX~L[P#]#^L_~LbP#e#fLe~LhP#i#j=W~LnP#c#dLq~LtP#V#WLw~LzP#T#UL}~MQP#U#VMT~MWP#i#jMZ~M^P#`#aMa~MdP#T#UMg~MjP#f#gMm~MpQ#]#^6w#m#n+w~MyP#[#]M|~NPP#X#YNS~NVP#f#g&|~N_OY~~NdOZ~",
15  tokenizers: [0],
16  topRules: {"Program":[0,1]},
17  tokenPrec: 52
18})
19