@rsconcept/domain 1.0.0 → 1.2.0

package/dist/library/structure-planner.js

@@ -1,481 +1,113 @@
-// src/parsing/ast.ts
-var TOKEN_ERROR = 0;
-
-// src/rslang/parser/token.ts
-var TokenID = {
-  // Global, local IDs and literals
-  ERROR: TOKEN_ERROR,
-  ID_LOCAL: 258,
-  ID_GLOBAL: 259,
-  ID_FUNCTION: 260,
-  ID_PREDICATE: 261,
-  ID_RADICAL: 262,
-  LIT_INTEGER: 263,
-  LIT_WHOLE_NUMBERS: 264,
-  LIT_EMPTYSET: 265,
-  // Arithmetic
-  PLUS: 266,
-  MINUS: 267,
-  MULTIPLY: 268,
-  // Integer predicate symbols
-  GREATER: 269,
-  LESSER: 270,
-  GREATER_OR_EQ: 271,
-  LESSER_OR_EQ: 272,
-  // Equality comparison
-  EQUAL: 273,
-  NOTEQUAL: 274,
-  // Logic predicate symbols
-  QUANTOR_UNIVERSAL: 275,
-  QUANTOR_EXISTS: 276,
-  LOGIC_NOT: 277,
-  LOGIC_EQUIVALENT: 278,
-  LOGIC_IMPLICATION: 279,
-  LOGIC_OR: 280,
-  LOGIC_AND: 281,
-  // Set theory predicate symbols
-  SET_IN: 282,
-  SET_NOT_IN: 283,
-  SUBSET: 284,
-  SUBSET_OR_EQ: 285,
-  NOT_SUBSET: 286,
-  // Set theory operators
-  DECART: 287,
-  SET_UNION: 288,
-  SET_INTERSECTION: 289,
-  SET_MINUS: 290,
-  SET_SYMMETRIC_MINUS: 291,
-  BOOLEAN: 292,
-  // Structure operations
-  BIGPR: 293,
-  SMALLPR: 294,
-  FILTER: 295,
-  CARD: 296,
-  BOOL: 297,
-  DEBOOL: 298,
-  REDUCE: 299,
-  // Term constructions prefixes
-  DECLARATIVE: 300,
-  RECURSIVE: 301,
-  IMPERATIVE: 302,
-  ITERATE: 303,
-  ASSIGN: 304,
-  // Punctuation
-  PUNCTUATION_DEFINE: 305,
-  PUNCTUATION_STRUCT: 306,
-  PUNCTUATION_PL: 307,
-  PUNCTUATION_PR: 308,
-  PUNCTUATION_CL: 309,
-  PUNCTUATION_CR: 310,
-  PUNCTUATION_SL: 311,
-  PUNCTUATION_SR: 312,
-  PUNCTUATION_BAR: 313,
-  PUNCTUATION_COMMA: 314,
-  PUNCTUATION_SEMICOLON: 315,
-  // ======= Non-terminal tokens =========
-  NT_ENUM_DECL: 316,
-  NT_TUPLE: 317,
-  NT_ENUMERATION: 318,
-  NT_TUPLE_DECL: 319,
-  NT_ARG_DECL: 320,
-  NT_FUNC_DEFINITION: 321,
-  NT_ARGUMENTS: 322,
-  NT_FUNC_CALL: 323,
-  NT_DECLARATIVE_EXPR: 324,
-  NT_IMPERATIVE_EXPR: 325,
-  NT_RECURSIVE_FULL: 326,
-  NT_RECURSIVE_SHORT: 327,
-  // ======= Helper tokens ========
-  INTERRUPT: 328,
-  END: 329
-};
-
-// src/rslang/semantic/typification.ts
-var TypeID = {
-  anyTypification: 1,
-  integer: 2,
-  basic: 3,
-  tuple: 4,
-  collection: 5,
-  logic: 6,
-  function: 7,
-  predicate: 8
-};
-var TypeClass = {
-  logic: 1,
-  typification: 2,
-  function: 3,
-  predicate: 4
-};
-var LogicT = { typeID: TypeID.logic };
-var IntegerT = {
-  typeID: TypeID.integer,
-  isOrdered: true,
-  isArithmetic: true,
-  isIntegerCompatible: true
-};
-function makeTypePath(path) {
-  return path;
-}
-var AnyTypificationT = { typeID: TypeID.anyTypification };
-var EmptySetT = bool(AnyTypificationT);
-function bool(base) {
-  return { typeID: TypeID.collection, base };
-}
-function isTypification(type) {
-  return type?.typeID === TypeID.basic || type?.typeID === TypeID.anyTypification || type?.typeID === TypeID.integer || type?.typeID === TypeID.collection || type?.typeID === TypeID.tuple;
-}
-
-// src/rslang/parser/parser.ts
-import { LRParser } from "@lezer/lr";
-var parser = LRParser.deserialize({
-  version: 14,
-  states: "2lO!sQPOOOVQPO'#CdO$qQPO'#C`O&pQPO'#C`O*bQPO'#C_Q*jQPOOO,TQPO'#CyOVQPO'#CtO,]QPO'#CtOOQO'#Ct'#CtOOQO'#C^'#C^OOQO'#ES'#ESOOQO'#ET'#ETO,bQPO'#DeO,iQPO'#DfO,qQPO'#DhO,vQPO'#DjO,{QPO'#DnO-QQPO'#DrOOQO'#EU'#EUOOQO'#EV'#EVOOQO'#DS'#DSO-VQPO'#DSO-[QPO'#DSOOQO'#EQ'#EQO,TQPO'#DzQOQPOOO-aQPO'#ERO-nQPO,59OO-vQPO'#CeO-{QPO,58xO/lQPO,59tOVQPO,58yOVQPO,58yOVQPO,59iOVQPO,59iOVQPO,59iOVQPO,59iOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO'#CdOOQO'#C`'#C`OOQO'#C{'#C{O1]QPO,59eO2rQPO,59`OVQPO,59`OOQO'#ER'#ERO5TQPO,5:PO5]QPO,5:UOVQPO,5:QOOQO,5:Q,5:QOVQPO,5:SO,TQPO,5:UOVQPO,5:YO,TQPO,5:^OVQPO,59nOVQPO,59nO5dQPO'#D|OOQO'#D{'#D{O5iQPO,5:fOOQO1G.j1G.jOVQPO,59POOQO1G.d1G.dOOQO1G/`1G/`O5qQPO1G.eO7vQPO1G.eO:zQPO1G/TO=]QPO1G/TO?nQPO1G/TOBPQPO1G/TOGyQPO1G/`OHQQPO1G/`OKpQPO1G/`O! `QPO1G/`O! gQPO1G/`O! nQPO1G/`O! uQPO1G/`O,TQPO,59gOVQPO1G/PO!%aQPO1G.zOOQO1G/k1G/kOVQPO1G/pO!%iQPO1G/lO!%pQPO1G/nO!%xQPO1G/pO!%}QPO1G/tO!&UQPO1G/xO!&ZQPO1G/YO!&cQPO1G/YOVQPO,5:hO,TQPO,5:gOVQPO1G0QO!&jQPO1G.kOOQO1G/R1G/RO!&zQPO7+$kOOQO7+$f7+$fO!(gQPO7+%[OOQO7+%W7+%WO!(nQPO7+%YOVQPO7+%[OVQPO7+%`OVQPO7+%dOOQO7+$t7+$tO!(sQPO1G0SOOQO1G0R1G0RO!(}QPO7+%lO!)UQPO<<HVOVQPO<<HvOVQPO<<HtO!+gQPO<<HvO!+nQPO'#DoO!+xQPO<<HzO!,QQPO<<IOO!,XQPOAN>bO!,`QPOAN>`OVQPOAN>bOVQPO,5:ZOOQOAN>fAN>fOVQPOAN>jOOQOG23|G23|OOQOG23zG23zO!,gQPOG23|O!,nQPO1G/uO!,xQPOG24UOOQOLD)hLD)hOOQOLD)pLD)pOVQPOLD)pO!-SQPO!$'M[OOQO!)9Bv!)9Bv",
-  stateData: "!-l~O!sOS~OTQOVPOiVOjWOnUOpUOwZOxZOyZOz[O{[O!W]O!Z^O!]_O!``O!aaO!ebO!gfO!hdO!idO!jdO!kdO!ldO!mdO~OkiO~PVOZSX[SX]!wX^!wX_!wX`!wXa!wXb!wXc!wXd!wXe!wXf!wXg!wXr!wXs!wXt!wXu!wX}!wX!O!wX!P!wX!Q!wX!R!wX!S!wX!T!wX!U!wXY!wX!V!wX~O!q!wXU!wXl!wX!_!wXT!wXV!wXi!wXj!wXn!wXp!wXw!wXx!wXy!wXz!wX{!wX!W!wX!Z!wX!]!wX!`!wX!a!wX!e!wX!g!wX!h!wX!i!wX!j!wX!k!wX!l!wX!m!wX!d!wX~P!zOZSX[SX]!xX^!xX_!xX`!xXa!xXb!xXc!xXd!xXe!xXf!xXg!xXr!xXs!xXt!xXu!xX}!xX!O!xX!P!xX!Q!xX!R!xX!S!xX!T!xX!U!xX!q!xXY!xX!V!xXU!xXl!xX!_!xXT!xXV!xXi!xXj!xXn!xXp!xXw!xXx!xXy!xXz!xX{!xX!W!xX!Z!xX!]!xX!`!xX!a!xX!e!xX!g!xX!h!xX!i!xX!j!xX!k!xX!l!xX!m!xX!d!xX~OZpO[pO~O]qO^qO_qO`qOaqObqOcqOdqOeqOfqOgqOrrOssOttOuuO}vO!OwO!PxO!QyO!RzO!S{O!T|O!U}O~OT!POV!OO~Ok!TO~OT!WO~PYOV!XO!Z^O~Ok!ZO~O!W![O~O!W!]O~O!W!^O~Ok!_O~OV!`O~OY!uX!V!uXl!uX~P*jOU!dOY!uX~OY!eO~OU!fOY!tX]!tX^!tX_!tX`!tXa!tXb!tXc!tXd!tXe!tXf!tXg!tXr!tXs!tXt!tXu!tX}!tX!O!tX!P!tX!Q!tX!R!tX!S!tX!T!tX!U!tX~OU!gOYvX]vX^vX_vX`vXavXbvXcvXdvXevXfvXgvXrvXsvXtvXuvX}vX!OvX!PvX!QvX!RvX!SvX!TvX!UvX~OY!uO]!vO~O]qO^qO_qO`qOaqObqOcqOdqOeqOfqOgqO}vO!OwO!PxO!QyO!RzO!S{O!T|O!U}O~Orhashathauha!qhaUhaYha!Vhalha!_haThaVhaihajhanhaphawhaxhayhazha{ha!Wha!Zha!]ha!`ha!aha!eha!gha!hha!iha!jha!kha!lha!mha!dha~P1eOY!eO!V!xO~O]!yO~P!zO]#RO~OY#SOl#TO~O!qRiURiYRi!VRilRi!_RiTRiVRiiRijRinRipRiwRixRiyRizRi{Ri!WRi!ZRi!]Ri!`Ri!aRi!eRi!gRi!hRi!iRi!jRi!kRi!lRi!mRi!dRi~P*jO]Ri^Ri_Ri`RiaRibRicRidRieRifRigRirRisRitRiuRi!qRiURiYRi!VRilRi!_RiTRiVRiiRijRinRipRiwRixRiyRizRi{Ri!WRi!ZRi!]Ri!`Ri!aRi!eRi!gRi!hRi!iRi!jRi!kRi!lRi!mRi!dRi~P+iOssOttOuuOrqi!qqiUqiYqi!Vqilqi!_qiTqiVqiiqijqinqipqiwqixqiyqizqi{qi!Wqi!Zqi!]qi!`qi!aqi!eqi!gqi!hqi!iqi!jqi!kqi!lqi!mqi!dqi~P1eOttOuuOrqisqi!qqiUqiYqi!Vqilqi!_qiTqiVqiiqijqinqipqiwqixqiyqizqi{qi!Wqi!Zqi!]qi!`qi!aqi!eqi!gqi!hqi!iqi!jqi!kqi!lqi!mqi!dqi~P1eOuuOrqisqitqi!qqiUqiYqi!Vqilqi!_qiTqiVqiiqijqinqipqiwqixqiyqizqi{qi!Wqi!Zqi!]qi!`qi!aqi!eqi!gqi!hqi!iqi!jqi!kqi!lqi!mqi!dqi~P1eOrqisqitqiuqi!qqiUqiYqi!Vqilqi!_qiTqiVqiiqijqinqipqiwqixqiyqizqi{qi!Wqi!Zqi!]qi!`qi!aqi!eqi!gqi!hqi!iqi!jqi!kqi!lqi!mqi!dqi~P1eO}vO]|i^|i_|i`|ia|ib|ic|id|ie|if|ig|ir|is|it|iu|i!P|i!Q|i!R|i!S|i!T|i!U|i!q|iU|iY|i!V|il|i!_|iT|iV|ii|ij|in|ip|iw|ix|iy|iz|i{|i!W|i!Z|i!]|i!`|i!a|i!e|i!g|i!h|i!i|i!j|i!k|i!l|i!m|i!d|i~O!O|i~PDbO!OwO~PDbO}vO!OwO!PxO!U}O]|i^|i_|i`|ia|ib|ic|id|ie|if|ig|ir|is|it|iu|i!R|i!S|i!T|i!q|iU|iY|i!V|il|i!_|iT|iV|ii|ij|in|ip|iw|ix|iy|iz|i{|i!W|i!Z|i!]|i!`|i!a|i!e|i!g|i!h|i!i|i!j|i!k|i!l|i!m|i!d|i~O!Q|i~PHXO}vO!OwO!PxO!QyO!T|O!U}O]|i^|i_|i`|ia|ib|ic|id|ie|if|ig|ir|is|it|iu|i!S|i!q|iU|iY|i!V|il|i!_|iT|iV|ii|ij|in|ip|iw|ix|iy|iz|i{|i!W|i!Z|i!]|i!`|i!a|i!e|i!g|i!h|i!i|i!j|i!k|i!l|i!m|i!d|i~O!R|i~PKwO!RzO~PKwO!QyO~PHXO}vO!OwO!PxO]|i^|i_|i`|ia|ib|ic|id|ie|if|ig|ir|is|it|iu|i!Q|i!R|i!S|i!T|i!U|i!q|iU|iY|i!V|il|i!_|iT|iV|ii|ij|in|ip|iw|ix|iy|iz|i{|i!W|i!Z|i!]|i!`|i!a|i!e|i!g|i!h|i!i|i!j|i!k|i!l|i!m|i!d|i~OY!eOl#XO~OU#ZO~P*jOY!eOl#[O~O]#]O~O!_#^O~P*jO[#_O~OY!eOl#`O~OU#`O~P*jOUXiYXi!VXilXi~P*jO]qO^qO_qO`qOaqObqOcqOdqOeqOfqOgqOrrOssOttOuuO}vO!OwO!PxO!QyO!RzO!S{O!T|O!U}O~PVO!_#eO~P*jOV#fO~OY!pil!pi~P*jO!q!nq~P*jOrmysmytmyumy!qmyUmyYmy!Vmylmy!_myTmyVmyimyjmynmypmywmyxmyymyzmy{my!Wmy!Zmy!]my!`my!amy!emy!gmy!hmy!imy!jmy!kmy!lmy!mmy!dmy~P1eO!_#mO~P*jO!V!cX!d!cX~P*jO!V#oO!d#nO~O!_#pO~P*jO!V#qO~P*jOU#rO~P*jO!V#vO~P*jO!V!ci!d!ci~P*jO!V#wO!_#xO~P*jO!V#zO~P*jO!]!hj!gz{!j!k!l!m!iT!e!a!`!a~",
-  goto: "1O!zPP!{#y$uPPP&R'VPPPPPPPPPPPPPP#yPPPP'aP(]P#yPPPP(`PPPPP)[PPPPPPPPPP*Y+UP*YP*YPPP*Y,TPP*YPPPPPPP,W,Z,^PPP,d.v/W/W/W0S!phOV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xRnP!sYOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x!rSOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xQ!QUS!ai#SQ!|![Q#O!^R#V!u!rROPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x]!PUi![!^!u#SSlP!OX!U]!T!Z!_!sXOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xR!RU!shOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x!peOV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xRoP!scOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x!rcOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xR!Y^R#i#^RjOR!ciQ!biR#b#SQTO[kP]!O!T!Z!_Q!SVQ!gvQ!hpQ!iqQ!jrQ!ksQ!ltQ!muQ!nwQ!oxQ!pyQ!qzQ!r{Q!s|Q!t}Q!z!XQ!}!]Q#Q!`Q#U!eQ#W!vQ#Y!yQ#a#RQ#c#TQ#d#WQ#g#]Q#h#^Q#j#_Q#k#eQ#l#fQ#s#mQ#t#nQ#u#pR#y#xSmP!OQ!V]Q!w!TQ!{!ZR#P!_!seOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x!sgOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x",
-  nodeNames: "\u26A0 Expression Logic Logic_predicates Variable Local ) ( Tuple Expr_enum_min2 , :\u2208 := \u2208 \u2209 \u2286 \u2284 \u2282 > \u2265 < \u2264 \u2260 = Logic_unary \xAC Predicate [ ] Logic_quantor \u2200 Variable_pack \u2203 Logic_binary \u21D4 \u21D2 \u2228 & Setexpr Integer EmptySet IntegerSet Global Radical Setexpr_binary * + - \u222A \\ \u2206 \u2229 \xD7 } { Enumeration Boolean \u212C Filter_expression Filter Declarative | PrefixD PrefixI Imperative Imp_blocks ; PrefixR Recursion Function BigPr SmallPr Card Bool Debool Red Function_decl Arguments Declaration",
-  maxTerm: 87,
-  nodeProps: [
-    ["openedBy", 6, "(", 53, "{"],
-    ["closedBy", 7, ")", 54, "}"]
-  ],
-  skippedNodes: [0],
-  repeatNodeCount: 0,
-  tokenData: "6j~R!jX^%spq%svw&hxy&myz&rz{&w{|&||}'R}!O'W!Q![']![!]'e!]!^'x!^!_'}!_!`(S!`!a(X!c!d(^!e!f(^!f!g(l!h!i(t!k!l)h!p!q(^!r!s)m!t!u*a!u!v(^!v!w(^!z!{(^!|!}*q!}#O*v#O#P*{#P#Q+Q#R#S+V#T#U+V#U#V+m#V#W-]#W#X.x#X#d+V#d#e1b#e#f+V#f#g2w#g#o+V#o#p4R#p#q4W#q#r4]#y#z%s$f$g%s$r$s4b%o%p4g5i6S+V#BY#BZ%s$IS$I_%s$I|$JO%s$JT$JU%s$KV$KW%s% l% m4l%%Y%%Z4q%%[%%]4v%&Y%&Z4{%&]%&^5Q%&_%&`5V%&`%&a5[%&b%&c5a%&c%&d5f%'S%'T5k%'T%'U5p%'U%'V5u%(^%(_5z%(b%(c6P%(c%(d6U%)Q%)R6Z%)S%)T6`%)U%)V6e&FU&FV%s~%xY!s~X^%spq%s#y#z%s$f$g%s#BY#BZ%s$IS$I_%s$I|$JO%s$JT$JU%s$KV$KW%s&FU&FV%s~&mOu~~&rOV~~&wOU~~&|O}~~'RO!O~~'WOY~~']O!P~~'bPw~!Q![']~'hQ!_!`'n%&b%&c's~'sO[~~'xOZ~~'}O!d~~(SOd~~(XOg~~(^Ob~~(aP!Q![(d~(iPz~!Q![(d~(qP!`~!Q![(d~(wQ!Q![(}#]#^)V~)SP!g~!Q![(}~)YP!R![)]~)bQ!]~|})V!Q![)]~)mO!a~~)pQ!Q![)v#f#g*O~){Pj~!Q![)v~*RP!R![*U~*ZQ!h~|}*O!Q![*U~*fP!e~!Q![*i~*nP{~!Q![*i~*vOy~~*{Ok~~+QO!R~~+VOl~~+[RT~!Q![+e#T#o+V5i6S+V~+jPT~!Q![+e~+rTT~!Q![+e#T#c+V#c#d,R#d#o+V5i6S+V~,WTT~!Q![+e#T#c+V#c#d,g#d#o+V5i6S+V~,lTT~!Q![+e#T#`+V#`#a,{#a#o+V5i6S+V~-SR!k~T~!Q![+e#T#o+V5i6S+V~-bST~!Q![+e#T#U-n#U#o+V5i6S+V~-sTT~!Q![+e#T#f+V#f#g.S#g#o+V5i6S+V~.XTT~!Q![+e#T#W+V#W#X.h#X#o+V5i6S+V~.oR!j~T~!Q![+e#T#o+V5i6S+V~.}TT~!Q![+e#T#X+V#X#Y/^#Y#o+V5i6S+V~/cTT~!Q![+e#T#U+V#U#V/r#V#o+V5i6S+V~/wTT~!Q![+e#T#c+V#c#d0W#d#o+V5i6S+V~0]TT~!Q![+e#T#c+V#c#d0l#d#o+V5i6S+V~0qTT~!Q![+e#T#`+V#`#a1Q#a#o+V5i6S+V~1XR!l~T~!Q![+e#T#o+V5i6S+V~1gTT~!Q![+e#T#f+V#f#g1v#g#o+V5i6S+V~1{ST~!Q!R+e!R![2X#T#o+V5i6S+V~2`Q!i~T~|}2f!Q![2X~2iP!R![2l~2qQ!i~|}2f!Q![2l~2|TT~!Q![+e#T#X+V#X#Y3]#Y#o+V5i6S+V~3bTT~!Q![+e#T#W+V#W#X3q#X#o+V5i6S+V~3xR!m~T~!Q![+e#T#o+V5i6S+V~4WO!W~~4]O!_~~4bO!V~~4gOi~~4lO!U~~4qO!Z~~4vOs~~4{Or~~5QOn~~5VOp~~5[Ox~~5aO!S~~5fO]~~5kO^~~5pOt~~5uO!T~~5zO!Q~~6POf~~6UOe~~6ZOc~~6`Oa~~6eO`~~6jO_~",
-  tokenizers: [0],
-  topRules: { "Expression": [0, 1] },
-  tokenPrec: 2679
-});
-
-// src/rslang/parser/parser.terms.ts
-var Local = 5;
-var Tuple = 8;
-var Predicate = 26;
-var Variable_pack = 31;
-var Integer = 39;
-var EmptySet = 40;
-var IntegerSet = 41;
-var Global = 42;
-var Radical = 43;
-var Enumeration = 55;
-var Boolean = 56;
-var Filter = 59;
-var Declarative = 60;
-var Imperative = 64;
-var Function = 69;
-var BigPr = 70;
-var SmallPr = 71;
-var Card = 72;
-var Bool = 73;
-var Debool = 74;
-var Red = 75;
-var Function_decl = 76;
-var Arguments = 77;
-var Declaration = 78;
-
-// src/rslang/parser/normalize.ts
-var idRecord = {
-  [Global]: TokenID.ID_GLOBAL,
-  [Local]: TokenID.ID_LOCAL,
-  [Radical]: TokenID.ID_RADICAL,
-  [Function]: TokenID.ID_FUNCTION,
-  [Predicate]: TokenID.ID_PREDICATE,
-  [Integer]: TokenID.LIT_INTEGER,
-  [EmptySet]: TokenID.LIT_EMPTYSET,
-  [IntegerSet]: TokenID.LIT_WHOLE_NUMBERS,
-  [Boolean]: TokenID.BOOLEAN,
-  [BigPr]: TokenID.BIGPR,
-  [SmallPr]: TokenID.SMALLPR,
-  [Filter]: TokenID.FILTER,
-  [Bool]: TokenID.BOOL,
-  [Debool]: TokenID.DEBOOL,
-  [Red]: TokenID.REDUCE,
-  [Card]: TokenID.CARD,
-  [Enumeration]: TokenID.NT_ENUMERATION,
-  [Tuple]: TokenID.NT_TUPLE,
-  [Arguments]: TokenID.NT_ARGUMENTS,
-  [Declaration]: TokenID.NT_ARG_DECL,
-  [Function_decl]: TokenID.NT_FUNC_DEFINITION,
-  [Variable_pack]: TokenID.NT_ENUM_DECL,
-  [Declarative]: TokenID.NT_DECLARATIVE_EXPR,
-  [Imperative]: TokenID.NT_IMPERATIVE_EXPR
-};
-
-// src/rslang/labels.ts
-var INTEGER_TYPE_NAME = "Z";
-var ANY_TYPE_NAME = "R0";
-var LOGIC_TYPE_NAME = "Logic";
-var labelTokenRecord = {
-  [TokenID.DECART]: "\xD7",
-  [TokenID.PUNCTUATION_PL]: "( )",
-  [TokenID.PUNCTUATION_SL]: "[ ]",
-  [TokenID.QUANTOR_UNIVERSAL]: "\u2200",
-  [TokenID.QUANTOR_EXISTS]: "\u2203",
-  [TokenID.LOGIC_NOT]: "\xAC",
-  [TokenID.LOGIC_AND]: "&",
-  [TokenID.LOGIC_OR]: "\u2228",
-  [TokenID.LOGIC_IMPLICATION]: "\u21D2",
-  [TokenID.LOGIC_EQUIVALENT]: "\u21D4",
-  [TokenID.LIT_EMPTYSET]: "\u2205",
-  [TokenID.LIT_WHOLE_NUMBERS]: "Z",
-  [TokenID.MULTIPLY]: "*",
-  [TokenID.EQUAL]: "=",
-  [TokenID.NOTEQUAL]: "\u2260",
-  [TokenID.GREATER_OR_EQ]: "\u2265",
-  [TokenID.LESSER_OR_EQ]: "\u2264",
-  [TokenID.SET_IN]: "\u2208",
-  [TokenID.SET_NOT_IN]: "\u2209",
-  [TokenID.SUBSET_OR_EQ]: "\u2286",
-  [TokenID.SUBSET]: "\u2282",
-  [TokenID.NOT_SUBSET]: "\u2284",
-  [TokenID.SET_INTERSECTION]: "\u2229",
-  [TokenID.SET_UNION]: "\u222A",
-  [TokenID.SET_MINUS]: "\\",
-  [TokenID.SET_SYMMETRIC_MINUS]: "\u2206",
-  [TokenID.BOOLEAN]: "\u212C()",
-  [TokenID.NT_DECLARATIVE_EXPR]: "D{}",
-  [TokenID.NT_IMPERATIVE_EXPR]: "I{}",
-  [TokenID.NT_RECURSIVE_FULL]: "R{}",
-  [TokenID.BIGPR]: "Pr1()",
-  [TokenID.SMALLPR]: "pr1()",
-  [TokenID.FILTER]: "Fi1[]()",
-  [TokenID.REDUCE]: "red()",
-  [TokenID.CARD]: "card()",
-  [TokenID.BOOL]: "bool()",
-  [TokenID.DEBOOL]: "debool()",
-  [TokenID.ASSIGN]: ":=",
-  [TokenID.ITERATE]: ":\u2208"
-};
-function labelType(type) {
-  if (!type) {
-    return "N/A";
-  }
-  switch (type.typeID) {
-    case TypeID.anyTypification:
-      return ANY_TYPE_NAME;
-    case TypeID.integer:
-      return INTEGER_TYPE_NAME;
-    case TypeID.basic:
-      return type.baseID;
-    case TypeID.tuple:
-      return type.factors.map((factor) => factor.typeID === TypeID.tuple ? `(${labelType(factor)})` : labelType(factor)).join("\xD7");
-    case TypeID.collection:
-      return type.base.typeID === TypeID.collection ? `\u212C${labelType(type.base)}` : `\u212C(${labelType(type.base)})`;
-    case TypeID.logic:
-      return LOGIC_TYPE_NAME;
-    case TypeID.predicate:
-    case TypeID.function:
-      const argsText = type.args.map((arg) => labelType(arg.type)).join(", ");
-      return `[${argsText}] \u2192 ${labelType(type.result)}`;
-  }
-}
-
-// src/rslang/semantic/typification-api.ts
-var TypeIDToClass = {
-  [TypeID.anyTypification]: TypeClass.typification,
-  [TypeID.integer]: TypeClass.typification,
-  [TypeID.basic]: TypeClass.typification,
-  [TypeID.tuple]: TypeClass.typification,
-  [TypeID.collection]: TypeClass.typification,
-  [TypeID.logic]: TypeClass.logic,
-  [TypeID.function]: TypeClass.function,
-  [TypeID.predicate]: TypeClass.predicate
-};
-
-// src/rslang/api.ts
-function splitTemplateDefinition(target) {
-  let start = 0;
-  for (; start < target.length && target[start] !== "["; ++start) ;
-  if (start < target.length) {
-    for (let counter = 0, end = start + 1; end < target.length; ++end) {
-      if (target[end] === "[") {
-        ++counter;
-      } else if (target[end] === "]") {
-        if (counter !== 0) {
-          --counter;
-        } else {
-          return {
-            head: target.substring(start + 1, end).trim(),
-            body: target.substring(end + 1).trim()
-          };
-        }
-      }
-    }
-  }
-  return {
-    head: "",
-    body: target
-  };
-}
-
-// src/library/rsform.ts
-var CstType = {
-  NOMINAL: "nominal",
-  BASE: "basic",
-  STRUCTURED: "structure",
-  TERM: "term",
-  AXIOM: "axiom",
-  FUNCTION: "function",
-  PREDICATE: "predicate",
-  CONSTANT: "constant",
-  STATEMENT: "statement"
-};
-var CstClass = {
-  NOMINAL: "nominal",
-  BASIC: "basic",
-  DERIVED: "derived",
-  STATEMENT: "statement",
-  TEMPLATE: "template"
-};
-
-// src/library/rsform-api.ts
-var CST_TYPE_PREFIX = {
-  [CstType.NOMINAL]: "N",
-  [CstType.BASE]: "X",
-  [CstType.CONSTANT]: "C",
-  [CstType.STRUCTURED]: "S",
-  [CstType.AXIOM]: "A",
-  [CstType.TERM]: "D",
-  [CstType.FUNCTION]: "F",
-  [CstType.PREDICATE]: "P",
-  [CstType.STATEMENT]: "T"
-};
-var CST_TYPE_TO_CLASS = {
-  [CstType.NOMINAL]: CstClass.NOMINAL,
-  [CstType.BASE]: CstClass.BASIC,
-  [CstType.CONSTANT]: CstClass.BASIC,
-  [CstType.STRUCTURED]: CstClass.BASIC,
-  [CstType.TERM]: CstClass.DERIVED,
-  [CstType.FUNCTION]: CstClass.DERIVED,
-  [CstType.AXIOM]: CstClass.STATEMENT,
-  [CstType.PREDICATE]: CstClass.DERIVED,
-  [CstType.STATEMENT]: CstClass.STATEMENT
-};
-function findCstByStructure(schema, target, path) {
-  for (const cst of schema.items) {
-    if (cst.spawner === target.id && cst.spawner_path) {
-      if (cst.spawner_path.length === path.length && cst.spawner_path.every((v, i) => v === path[i])) {
-        return cst;
-      }
-    }
-  }
-  return null;
-}
-
-// src/library/structure-planner.ts
+import { TypeID, bool, isTypification, makeTypePath } from "../rslang/semantic/typification.js";
+import { labelType } from "../rslang/labels.js";
+import "../rslang/index.js";
+import { CstType } from "./rsform.js";
+import { findCstByStructure } from "./rsform-api.js";
+import { splitTemplateDefinition } from "../rslang/api.js";
+//#region src/library/structure-planner.ts
+/** Structure planner for {@link Constituenta}. */
 var StructurePlanner = class {
-  items = [];
-  schema;
-  target;
-  rootType;
-  constructor(schema, target) {
-    const eff = target.effectiveType;
-    if (eff == null) {
-      throw new Error("Invalid typification for target");
-    }
-    this.schema = schema;
-    this.target = target;
-    if (target.cst_type === CstType.FUNCTION && !isTypification(eff)) {
-      this.rootType = eff.result;
-    } else if (isTypification(eff)) {
-      this.rootType = eff;
-    } else {
-      throw new Error("Invalid typification for target");
-    }
-  }
-  build() {
-    this.items.push({
-      key: "root",
-      path: makeTypePath([]),
-      type: this.rootType,
-      parent: null,
-      definition: labelType(this.target.effectiveType),
-      existing: this.target
-    });
-    this.visit(this.rootType, this.rootType.typeID === TypeID.collection ? [0] : [], 0);
-    return this.items;
-  }
-  visit(type, path, parent) {
-    switch (type.typeID) {
-      case TypeID.collection:
-        if (type.base.typeID === TypeID.tuple) {
-          type.base.factors.forEach((factor, index) => {
-            const nextPath = [...path, index + 1];
-            const nextType = bool(factor);
-            const nextNode = this.pushNode(nextPath, nextType, parent);
-            this.visit(nextType, nextPath, nextNode);
-          });
-        } else if (type.base.typeID === TypeID.collection) {
-          const nextPath = [...path, 0];
-          const nextNode = this.pushNode(nextPath, type.base, parent);
-          this.visit(type.base, nextPath, nextNode);
-        }
-        return;
-      case TypeID.tuple:
-        type.factors.forEach((factor, index) => {
-          const nextPath = [...path, index + 1];
-          const nextNode = this.pushNode(nextPath, factor, parent);
-          this.visit(factor, nextPath, nextNode);
-        });
-        return;
-      default:
-        return;
-    }
-  }
-  pushNode(path, type, parent) {
-    const typePath = makeTypePath(path);
-    this.items.push({
-      key: formatPathText(typePath),
-      path: typePath,
-      type,
-      parent,
-      definition: produceDefinition(this.target, this.rootType, typePath),
-      existing: findCstByStructure(this.schema, this.target, typePath)
-    });
-    return this.items.length - 1;
-  }
+	items = [];
+	schema;
+	target;
+	rootType;
+	constructor(schema, target) {
+		const eff = target.effectiveType;
+		if (eff == null) throw new Error("Invalid typification for target");
+		this.schema = schema;
+		this.target = target;
+		if (target.cst_type === CstType.FUNCTION && !isTypification(eff)) this.rootType = eff.result;
+		else if (isTypification(eff)) this.rootType = eff;
+		else throw new Error("Invalid typification for target");
+	}
+	build() {
+		this.items.push({
+			key: "root",
+			path: makeTypePath([]),
+			type: this.rootType,
+			parent: null,
+			definition: labelType(this.target.effectiveType),
+			existing: this.target
+		});
+		this.visit(this.rootType, this.rootType.typeID === TypeID.collection ? [0] : [], 0);
+		return this.items;
+	}
+	visit(type, path, parent) {
+		switch (type.typeID) {
+			case TypeID.collection:
+				if (type.base.typeID === TypeID.tuple) type.base.factors.forEach((factor, index) => {
+					const nextPath = [...path, index + 1];
+					const nextType = bool(factor);
+					const nextNode = this.pushNode(nextPath, nextType, parent);
+					this.visit(nextType, nextPath, nextNode);
+				});
+				else if (type.base.typeID === TypeID.collection) {
+					const nextPath = [...path, 0];
+					const nextNode = this.pushNode(nextPath, type.base, parent);
+					this.visit(type.base, nextPath, nextNode);
+				}
+				return;
+			case TypeID.tuple:
+				type.factors.forEach((factor, index) => {
+					const nextPath = [...path, index + 1];
+					const nextNode = this.pushNode(nextPath, factor, parent);
+					this.visit(factor, nextPath, nextNode);
+				});
+				return;
+			default: return;
+		}
+	}
+	pushNode(path, type, parent) {
+		const typePath = makeTypePath(path);
+		this.items.push({
+			key: formatPathText(typePath),
+			path: typePath,
+			type,
+			parent,
+			definition: produceDefinition(this.target, this.rootType, typePath),
+			existing: findCstByStructure(this.schema, this.target, typePath)
+		});
+		return this.items.length - 1;
+	}
 };
 function produceDefinition(target, rootType, path) {
-  let current = rootType;
-  let expression = target.alias;
-  let index = rootType.typeID === TypeID.collection ? 1 : 0;
-  let prefix = "";
-  if (target.cst_type === CstType.FUNCTION) {
-    prefix = `[${splitTemplateDefinition(target.definition_formal).head}] `;
-    const funcType = target.effectiveType && !isTypification(target.effectiveType) ? target.effectiveType : null;
-    if (funcType) {
-      expression = `${expression}[${funcType.args.map((arg) => arg.alias).join(", ")}]`;
-    }
-  }
-  while (index < path.length) {
-    const step = path[index];
-    switch (current.typeID) {
-      case TypeID.collection:
-        if (current.base.typeID === TypeID.tuple) {
-          expression = `Pr${step}(${expression})`;
-          current = bool(current.base.factors[step - 1]);
-          index += 1;
-        } else {
-          expression = `red(${expression})`;
-          current = current.base;
-          index += 1;
-        }
-        break;
-      case TypeID.tuple:
-        expression = `pr${step}(${expression})`;
-        current = current.factors[step - 1];
-        index += 1;
-        break;
-      default:
-        return prefix + expression;
-    }
-  }
-  return prefix + expression;
+	let current = rootType;
+	let expression = target.alias;
+	let index = rootType.typeID === TypeID.collection ? 1 : 0;
+	let prefix = "";
+	if (target.cst_type === CstType.FUNCTION) {
+		prefix = `[${splitTemplateDefinition(target.definition_formal).head}] `;
+		const funcType = target.effectiveType && !isTypification(target.effectiveType) ? target.effectiveType : null;
+		if (funcType) expression = `${expression}[${funcType.args.map((arg) => arg.alias).join(", ")}]`;
+	}
+	while (index < path.length) {
+		const step = path[index];
+		switch (current.typeID) {
+			case TypeID.collection:
+				if (current.base.typeID === TypeID.tuple) {
+					expression = `Pr${step}(${expression})`;
+					current = bool(current.base.factors[step - 1]);
+					index += 1;
+				} else {
+					expression = `red(${expression})`;
+					current = current.base;
+					index += 1;
+				}
+				break;
+			case TypeID.tuple:
+				expression = `pr${step}(${expression})`;
+				current = current.factors[step - 1];
+				index += 1;
+				break;
+			default: return prefix + expression;
+		}
+	}
+	return prefix + expression;
 }
 function formatPathText(path) {
-  return path.map((step) => String(step)).join(".");
+	return path.map((step) => String(step)).join(".");
 }
-export {
-  StructurePlanner
-};
+//#endregion
+export { StructurePlanner };
+
 //# sourceMappingURL=structure-planner.js.map