npm - @proposit/proposit-core - Versions diffs - 4.1.0 → 5.0.0 - Mend

@proposit/proposit-core 4.1.0 → 5.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (64) hide show

package/dist/lib/grammar/validators/presentable.d.ts CHANGED Viewed

@@ -2,7 +2,7 @@ import type { TViolation } from "../types.js";
 import type { TValidatorContext } from "./context.js";
 /**
  * P-1 — Formula buffer between operators. A non-`not` operator (`and`,
- * `or`, `implies`, `iff`) is never a direct child of another operator
+ * `or`, `xor`, `implies`, `iff`) is never a direct child of another operator
  * expression. `not` is exempt — it can be a direct child of any
  * operator.
  *
@@ -18,27 +18,28 @@ export declare function validateP2(ctx: TValidatorContext): readonly TViolation[
 /**
  * P-3 — Formula has operator descendant. A `formula` node's bounded
  * subtree (stopping at the next nested formula) contains at least one
- * binary operator (`and` or `or`). Formulas wrapping a leaf or a single
- * `not` chain are not Presentable.
+ * variadic connective (`and`, `or` or `xor`). Formulas wrapping a leaf or
+ * a single `not` chain are not Presentable.
  */
 export declare function validateP3(ctx: TValidatorContext): readonly TViolation[];
 /**
- * P-4 — No single-child binary operator. `and` / `or` with exactly one
- * child is not Presentable. Largely redundant with E-1 (variadic arity
- * ≥ 2), kept for clarity in the rule inventory.
+ * P-4 — No single-child variadic operator. `and` / `or` / `xor` with
+ * exactly one child is not Presentable. Largely redundant with E-1
+ * (variadic arity ≥ 2), kept for clarity in the rule inventory.
  */
 export declare function validateP4(ctx: TValidatorContext): readonly TViolation[];
 /**
  * P-5 — No operator-of-same-type adjacency through a formula. When a
- * parent operator (`and` / `or`) has a `formula` child whose only
+ * parent operator (`and` / `or` / `xor`) has a `formula` child whose only
  * descendant operator (after peeling through transparent formula
  * buffers) is the same operator, the inner operator should be absorbed
  * into the parent.
  *
  * Example: `AND(formula(AND(b, c)), d)` should be `AND(b, c, d)`.
  *
- * The rule applies to `and` / `or` only — `implies` / `iff` are root-
- * only per S-5 and cannot appear as a child operator.
+ * The rule applies to the variadic connectives only — `implies` / `iff`
+ * are root-only per S-5 and cannot appear as a child operator, and `not`
+ * is unary so there is nothing to absorb.
  */
 export declare function validateP5(ctx: TValidatorContext): readonly TViolation[];
 /**

package/dist/lib/grammar/validators/presentable.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"presentable.d.ts","sourceRoot":"","sources":["../../../../src/lib/grammar/validators/presentable.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;~~AAsCrD~~;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAoBxE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAoBxE;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAwBxE;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAmBxE;AAED~~;;;;;;;;;;;GAWG~~;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAuBxE;~~AA8BD~~;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAgCxE;AAED,wBAAgB,mBAAmB,CAC/B,GAAG,EAAE,iBAAiB,GACvB,SAAS,UAAU,EAAE,CASvB"}
1	+ {"version":3,"file":"presentable.d.ts","sourceRoot":"","sources":["../../../../src/lib/grammar/validators/presentable.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AAyCrD;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAoBxE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAoBxE;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAwBxE;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAmBxE;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAuBxE;AAyCD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAgCxE;AAED,wBAAgB,mBAAmB,CAC/B,GAAG,EAAE,iBAAiB,GACvB,SAAS,UAAU,EAAE,CASvB"}

package/dist/lib/grammar/validators/presentable.js CHANGED Viewed

@@ -3,7 +3,7 @@
 // P-1 formula buffer between operators
 // P-2 no double negation
 // P-3 formula has operator descendant
-// P-4 no single-child binary operator (largely redundant with E-1, kept
+// P-4 no single-child variadic operator (largely redundant with E-1, kept
 //     for clarity in the rule inventory)
 // P-5 no operator-of-same-type adjacency through a formula
 // P-6 enthymeme marks a claim-bound variable
@@ -38,7 +38,7 @@ function buildExpressionsById(expressions) {
 }
 /**
  * P-1 — Formula buffer between operators. A non-`not` operator (`and`,
- * `or`, `implies`, `iff`) is never a direct child of another operator
+ * `or`, `xor`, `implies`, `iff`) is never a direct child of another operator
  * expression. `not` is exempt — it can be a direct child of any
  * operator.
  *
@@ -101,8 +101,8 @@ export function validateP2(ctx) {
 /**
  * P-3 — Formula has operator descendant. A `formula` node's bounded
  * subtree (stopping at the next nested formula) contains at least one
- * binary operator (`and` or `or`). Formulas wrapping a leaf or a single
- * `not` chain are not Presentable.
+ * variadic connective (`and`, `or` or `xor`). Formulas wrapping a leaf or
+ * a single `not` chain are not Presentable.
  */
 export function validateP3(ctx) {
     const violations = [];
@@ -119,7 +119,7 @@ export function validateP3(ctx) {
             violations.push({
                 tier: "presentable",
                 code: "P-3",
-                message: `formula ${f.id} has no binary operator (and/or) descendant in its bounded subtree`,
+                message: `formula ${f.id} has no variadic connective (and/or/xor) descendant in its bounded subtree`,
                 argumentId: ctx.argument.id,
                 premiseId: f.premiseId,
                 expressionId: f.id,
@@ -129,9 +129,9 @@ export function validateP3(ctx) {
     return violations;
 }
 /**
- * P-4 — No single-child binary operator. `and` / `or` with exactly one
- * child is not Presentable. Largely redundant with E-1 (variadic arity
- * ≥ 2), kept for clarity in the rule inventory.
+ * P-4 — No single-child variadic operator. `and` / `or` / `xor` with
+ * exactly one child is not Presentable. Largely redundant with E-1
+ * (variadic arity ≥ 2), kept for clarity in the rule inventory.
  */
 export function validateP4(ctx) {
     const violations = [];
@@ -139,7 +139,7 @@ export function validateP4(ctx) {
     for (const e of ctx.expressions) {
         if (e.type !== "operator")
             continue;
-        if (e.operator !== "and" && e.operator !== "or")
+        if (!isVariadicOperator(e.operator))
             continue;
         const count = (children.get(e.id) ?? []).length;
         if (count === 1) {
@@ -157,15 +157,16 @@ export function validateP4(ctx) {
 }
 /**
  * P-5 — No operator-of-same-type adjacency through a formula. When a
- * parent operator (`and` / `or`) has a `formula` child whose only
+ * parent operator (`and` / `or` / `xor`) has a `formula` child whose only
  * descendant operator (after peeling through transparent formula
  * buffers) is the same operator, the inner operator should be absorbed
  * into the parent.
  *
  * Example: `AND(formula(AND(b, c)), d)` should be `AND(b, c, d)`.
  *
- * The rule applies to `and` / `or` only — `implies` / `iff` are root-
- * only per S-5 and cannot appear as a child operator.
+ * The rule applies to the variadic connectives only — `implies` / `iff`
+ * are root-only per S-5 and cannot appear as a child operator, and `not`
+ * is unary so there is nothing to absorb.
  */
 export function validateP5(ctx) {
     const violations = [];
@@ -173,7 +174,7 @@ export function validateP5(ctx) {
     for (const parent of ctx.expressions) {
         if (parent.type !== "operator")
             continue;
-        if (parent.operator !== "and" && parent.operator !== "or")
+        if (!isVariadicOperator(parent.operator))
             continue;
         const parentOp = parent.operator;
         for (const child of children.get(parent.id) ?? []) {
@@ -195,12 +196,20 @@ export function validateP5(ctx) {
     return violations;
 }
 /**
- * Returns the operator kind (`and` / `or` / `implies` / `iff`) of the
- * single operator expression inside a `formula`'s bounded subtree —
- * stopping at any nested formula. Returns `undefined` if the formula
- * contains no operator, or more than one operator at the same level,
- * or contains a `not` operator anywhere (different shape; not the
- * absorption case P-5 targets).
+ * The variadic connectives — the operators that take 2..n operands and
+ * therefore have an arity floor (E-1) rather than a fixed arity, and that
+ * absorb a same-operator child through a formula buffer (P-5). `not` is
+ * unary and `implies` / `iff` are binary and root-only (S-5).
+ */
+function isVariadicOperator(operator) {
+    return operator === "and" || operator === "or" || operator === "xor";
+}
+/**
+ * Returns the operator kind of the single operator expression inside a
+ * `formula`'s bounded subtree — stopping at any nested formula. Returns
+ * `undefined` if the formula contains no operator, or more than one
+ * operator at the same level, or contains a `not` operator anywhere
+ * (different shape; not the absorption case P-5 targets).
  *
  * This is a deliberate simplification: P-5 fires on the canonical
  * `parent(formula(sameOp(...)))` shape where the formula immediately
@@ -215,8 +224,8 @@ function singleOperatorInsideFormula(formula, children) {
     if (inner.type !== "operator")
         return undefined;
     // Exclude `not` — P-5 targets the absorption case where the parent
-    // and inner operators are the same `and` / `or` / `implies` / `iff`
-    // kind. A NOT inside the formula is a different shape (not absorbable).
+    // and inner operators are the same variadic connective. A NOT inside
+    // the formula is a different shape (not absorbable).
     if (inner.operator === "not")
         return undefined;
     return inner.operator;

package/dist/lib/grammar/validators/presentable.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"presentable.js","sourceRoot":"","sources":["../../../../src/lib/grammar/validators/presentable.ts"],"names":[],"mappings":"AAAA,0CAA0C;AAC1C,EAAE;AACF,uCAAuC;AACvC,yBAAyB;AACzB,sCAAsC;AACtC,~~wEAAwE~~;~~AACxE~~,yCAAyC;AACzC,2DAA2D;AAC3D,6CAA6C;~~AAK7C~~,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AACxD,OAAO,EAAE,iCAAiC,EAAE,MAAM,uBAAuB,CAAA;AAIzE;;;GAGG;AACH,SAAS,aAAa,CAClB,WAAoD;IAEpD,MAAM,GAAG,GAAc,IAAI,GAAG,EAAE,CAAA;IAChC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI;YAAE,SAAQ;QACjC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAA;QACtC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACZ,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IAC7B,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IAChD,CAAC;IACD,OAAO,GAAG,CAAA;AACd,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CACzB,WAAoD;IAEpD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAwC,CAAA;IAC3D,KAAK,MAAM,CAAC,IAAI,WAAW;QAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAC7C,OAAO,GAAG,CAAA;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAClD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACnC,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAQ;QAClC,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI;YAAE,SAAQ;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;QACnC,IAAI,MAAM,KAAK,SAAS;YAAE,SAAQ;QAClC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACxC,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,GAAG,CAAC,CAAC,QAAQ,eAAe,CAAC,CAAC,EAAE,kCAAkC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,EAAE,4BAA4B;YACnI,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,YAAY,EAAE,CAAC,CAAC,EAAE;SACrB,CAAC,CAAA;IACN,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAC/C,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAQ;QACnE,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QACzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACrB,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YACxD,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,kBAAkB,KAAK,CAAC,EAAE,uBAAuB,KAAK,CAAC,EAAE,GAAG;gBACrE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,YAAY,EAAE,KAAK,CAAC,EAAE;aACzB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAC/C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwC,CAAA;IAChE,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW;QAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IACtD,MAAM,MAAM,GAAG,CAAC,EAAU,EAA2C,EAAE,CACnE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;IAC1B,MAAM,aAAa,GAAG,CAClB,EAAU,EAC8B,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC/D,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QAClC,IAAI,CAAC,iCAAiC,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC;YAClE,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,WAAW,CAAC,CAAC,EAAE,~~oEAAoE~~;~~gBAC5F~~,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAC/C,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACnC,IAAI,CAAC,CAAC,~~QAAQ,KAAK,KAAK,IAAI,~~CAAC,CAAC,QAAQ,~~KAAK,IAAI~~;YAAE,SAAQ;~~QACzD~~,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAA;QAC/C,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACd,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,GAAG,CAAC,CAAC,QAAQ,eAAe,CAAC,CAAC,EAAE,qBAAqB;gBAC9D,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED~~;;;;;;;;;;;GAWG~~;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAC/C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACxC,IAAI,~~MAAM,~~CAAC,~~QAAQ~~,~~KAAK~~,~~KAAK,IAAI,~~MAAM,CAAC,QAAQ,~~KAAK,IAAI~~;YAAE,SAAQ;~~QACnE~~,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAA;QAChC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;YAChD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,SAAQ;YACtC,MAAM,OAAO,GAAG,2BAA2B,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;YAC5D,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACvB,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,aAAa;oBACnB,IAAI,EAAE,KAAK;oBACX,OAAO,EAAE,GAAG,QAAQ,eAAe,MAAM,CAAC,EAAE,wBAAwB,KAAK,CAAC,EAAE,sCAAsC,OAAO,WAAW;oBACpI,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,SAAS,EAAE,MAAM,CAAC,SAAS;oBAC3B,YAAY,EAAE,KAAK,CAAC,EAAE;iBACzB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED~~;;;;;;;;;;;;GAYG~~;AACH,SAAS,2BAA2B,CAChC,OAAqC,EACrC,QAAmB;IAEnB,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;IAC3C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACrB,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,SAAS,CAAA;IAC/C,mEAAmE;IACnE,~~oEAAoE~~;~~IACpE~~,~~wEAAwE~~;~~IACxE~~,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK;QAAE,OAAO,SAAS,CAAA;IAC9C,OAAO,KAAK,CAAC,QAAQ,CAAA;AACzB,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAClE,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,qEAAqE;QACrE,8DAA8D;QAC9D,IAAK,CAA6B,CAAC,SAAS,KAAK,IAAI;YAAE,SAAQ;QAC/D,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACxB,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,EAAE,oEAAoE;gBACzG,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;YACF,SAAQ;QACZ,CAAC;QACD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;QAChD,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAQ;QACpC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAQ;QACvC,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,cAAc,CAAC,CAAC,EAAE,wCAAwC,QAAQ,CAAC,EAAE,KAAK,QAAQ,CAAC,MAAM,qCAAqC;YACvI,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,YAAY,EAAE,CAAC,CAAC,EAAE;YAClB,UAAU,EAAE,QAAQ,CAAC,EAAE;SAC1B,CAAC,CAAA;IACN,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,GAAsB;IAEtB,OAAO;QACH,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;KACrB,CAAA;AACL,CAAC"}
1	+ {"version":3,"file":"presentable.js","sourceRoot":"","sources":["../../../../src/lib/grammar/validators/presentable.ts"],"names":[],"mappings":"AAAA,0CAA0C;AAC1C,EAAE;AACF,uCAAuC;AACvC,yBAAyB;AACzB,sCAAsC;AACtC,0EAA0E;AAC1E,yCAAyC;AACzC,2DAA2D;AAC3D,6CAA6C;AAQ7C,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AACxD,OAAO,EAAE,iCAAiC,EAAE,MAAM,uBAAuB,CAAA;AAIzE;;;GAGG;AACH,SAAS,aAAa,CAClB,WAAoD;IAEpD,MAAM,GAAG,GAAc,IAAI,GAAG,EAAE,CAAA;IAChC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI;YAAE,SAAQ;QACjC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAA;QACtC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACZ,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IAC7B,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IAChD,CAAC;IACD,OAAO,GAAG,CAAA;AACd,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CACzB,WAAoD;IAEpD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAwC,CAAA;IAC3D,KAAK,MAAM,CAAC,IAAI,WAAW;QAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAC7C,OAAO,GAAG,CAAA;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAClD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACnC,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAQ;QAClC,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI;YAAE,SAAQ;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;QACnC,IAAI,MAAM,KAAK,SAAS;YAAE,SAAQ;QAClC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACxC,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,GAAG,CAAC,CAAC,QAAQ,eAAe,CAAC,CAAC,EAAE,kCAAkC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,EAAE,4BAA4B;YACnI,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,YAAY,EAAE,CAAC,CAAC,EAAE;SACrB,CAAC,CAAA;IACN,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAC/C,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAQ;QACnE,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QACzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACrB,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YACxD,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,kBAAkB,KAAK,CAAC,EAAE,uBAAuB,KAAK,CAAC,EAAE,GAAG;gBACrE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,YAAY,EAAE,KAAK,CAAC,EAAE;aACzB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAC/C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwC,CAAA;IAChE,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW;QAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IACtD,MAAM,MAAM,GAAG,CAAC,EAAU,EAA2C,EAAE,CACnE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;IAC1B,MAAM,aAAa,GAAG,CAClB,EAAU,EAC8B,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC/D,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QAClC,IAAI,CAAC,iCAAiC,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC;YAClE,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,WAAW,CAAC,CAAC,EAAE,4EAA4E;gBACpG,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAC/C,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACnC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,SAAQ;QAC7C,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAA;QAC/C,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACd,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,GAAG,CAAC,CAAC,QAAQ,eAAe,CAAC,CAAC,EAAE,qBAAqB;gBAC9D,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAC/C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACxC,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,QAAQ,CAAC;YAAE,SAAQ;QAClD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAA;QAChC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;YAChD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,SAAQ;YACtC,MAAM,OAAO,GAAG,2BAA2B,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;YAC5D,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACvB,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,aAAa;oBACnB,IAAI,EAAE,KAAK;oBACX,OAAO,EAAE,GAAG,QAAQ,eAAe,MAAM,CAAC,EAAE,wBAAwB,KAAK,CAAC,EAAE,sCAAsC,OAAO,WAAW;oBACpI,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,SAAS,EAAE,MAAM,CAAC,SAAS;oBAC3B,YAAY,EAAE,KAAK,CAAC,EAAE;iBACzB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CACvB,QAAkC;IAElC,OAAO,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,KAAK,CAAA;AACxE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,2BAA2B,CAChC,OAAqC,EACrC,QAAmB;IAEnB,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;IAC3C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACrB,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,SAAS,CAAA;IAC/C,mEAAmE;IACnE,qEAAqE;IACrE,qDAAqD;IACrD,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK;QAAE,OAAO,SAAS,CAAA;IAC9C,OAAO,KAAK,CAAC,QAAQ,CAAA;AACzB,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAClE,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,qEAAqE;QACrE,8DAA8D;QAC9D,IAAK,CAA6B,CAAC,SAAS,KAAK,IAAI;YAAE,SAAQ;QAC/D,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACxB,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,EAAE,oEAAoE;gBACzG,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;YACF,SAAQ;QACZ,CAAC;QACD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;QAChD,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAQ;QACpC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAQ;QACvC,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,cAAc,CAAC,CAAC,EAAE,wCAAwC,QAAQ,CAAC,EAAE,KAAK,QAAQ,CAAC,MAAM,qCAAqC;YACvI,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,YAAY,EAAE,CAAC,CAAC,EAAE;YAClB,UAAU,EAAE,QAAQ,CAAC,EAAE;SAC1B,CAAC,CAAA;IACN,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,GAAsB;IAEtB,OAAO;QACH,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;KACrB,CAAA;AACL,CAAC"}

package/dist/lib/grammar/validators/structural.d.ts CHANGED Viewed

@@ -20,7 +20,7 @@ export declare function validateS1(ctx: TValidatorContext): readonly TViolation[
 /**
  * S-2 — Operator types. Every expression's `type` is one of `variable`,
  * `operator`, `formula`. For operator-typed expressions, the `operator`
- * field is one of `not`, `and`, `or`, `implies`, `iff`.
+ * field is one of `not`, `and`, `or`, `xor`, `implies`, `iff`.
  */
 export declare function validateS2(ctx: TValidatorContext): readonly TViolation[];
 /**

package/dist/lib/grammar/validators/structural.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"structural.d.ts","sourceRoot":"","sources":["../../../../src/lib/grammar/validators/structural.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AAGrD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAqExE;~~AAQD~~;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAiCxE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CA6BxE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CA+BxE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CA8CxE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAkCxE;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAEzE;AAqBD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAmBxE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAkCxE;AAiBD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CA8BzE;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAkBzE;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAkBzE;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAkBzE;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAuCzE;AAED,wBAAgB,kBAAkB,CAC9B,GAAG,EAAE,iBAAiB,GACvB,SAAS,UAAU,EAAE,CAiBvB"}
1	+ {"version":3,"file":"structural.d.ts","sourceRoot":"","sources":["../../../../src/lib/grammar/validators/structural.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AAGrD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAqExE;AAeD;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAiCxE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CA6BxE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CA+BxE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CA8CxE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAkCxE;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAEzE;AAqBD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAmBxE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAkCxE;AAiBD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CA8BzE;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAkBzE;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAkBzE;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAkBzE;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAuCzE;AAED,wBAAgB,kBAAkB,CAC9B,GAAG,EAAE,iBAAiB,GACvB,SAAS,UAAU,EAAE,CAiBvB"}

package/dist/lib/grammar/validators/structural.js CHANGED Viewed

@@ -102,11 +102,18 @@ export function validateS1(ctx) {
 // runtime data — the whole point of S-2 is to detect deserialized data
 // whose discriminant value doesn't match the legal union at compile time.
 const validExpressionTypes = ["variable", "operator", "formula"];
-const validOperatorTypes = ["not", "and", "or", "implies", "iff"];
+const validOperatorTypes = [
+    "not",
+    "and",
+    "or",
+    "xor",
+    "implies",
+    "iff",
+];
 /**
  * S-2 — Operator types. Every expression's `type` is one of `variable`,
  * `operator`, `formula`. For operator-typed expressions, the `operator`
- * field is one of `not`, `and`, `or`, `implies`, `iff`.
+ * field is one of `not`, `and`, `or`, `xor`, `implies`, `iff`.
  */
 export function validateS2(ctx) {
     const violations = [];

package/dist/lib/grammar/validators/structural.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"structural.js","sourceRoot":"","sources":["../../../../src/lib/grammar/validators/structural.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,mEAAmE;AACnE,sEAAsE;AACtE,4BAA4B;AAC5B,EAAE;AACF,oBAAoB;AACpB,sBAAsB;AACtB,mCAAmC;AACnC,iBAAiB;AACjB,6BAA6B;AAC7B,8CAA8C;AAC9C,wEAAwE;AACxE,6BAA6B;AAC7B,mCAAmC;AACnC,4BAA4B;AAC5B,kCAAkC;AAClC,uBAAuB;AACvB,2BAA2B;AAC3B,wCAAwC;AAIxC,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AAE9E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACzD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAErD,0BAA0B;IAC1B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxD,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,cAAc,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,QAAQ,yBAAyB;gBAC/E,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,iBAAiB;IACjB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC5B,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;YAClB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,KAAK;oBACX,OAAO,EAAE,YAAY,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,OAAO,yBAAyB;oBAC3E,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,UAAU,EAAE,CAAC,CAAC,EAAE;oBAChB,OAAO,EAAE,CAAC,CAAC,OAAO;iBACrB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;aAAM,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,kEAAkE;YAClE,6DAA6D;YAC7D,IACI,CAAC,CAAC,eAAe,KAAK,GAAG,CAAC,QAAQ,CAAC,EAAE;gBACrC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,EACnC,CAAC;gBACC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,KAAK;oBACX,OAAO,EAAE,YAAY,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAC,cAAc,uCAAuC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE;oBACxH,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,UAAU,EAAE,CAAC,CAAC,EAAE;oBAChB,SAAS,EAAE,CAAC,CAAC,cAAc;iBAC9B,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED,2BAA2B;IAC3B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IACI,CAAC,CAAC,UAAU,KAAK,GAAG,CAAC,QAAQ,CAAC,EAAE;YAChC,CAAC,CAAC,eAAe,KAAK,GAAG,CAAC,QAAQ,CAAC,OAAO,EAC5C,CAAC;YACC,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,WAAW,CAAC,CAAC,EAAE,mCAAmC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,eAAe,mCAAmC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE;gBACxK,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,EAAE;aAClB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAA;AACrB,CAAC;AACD,2EAA2E;AAC3E,yEAAyE;AACzE,uEAAuE;AACvE,0EAA0E;AAC1E,MAAM,oBAAoB,GAAa,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,CAAC,CAAA;AAC1E,MAAM,kBAAkB,GAAa,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;AAE3E;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,qEAAqE;QACrE,mEAAmE;QACnE,mDAAmD;QACnD,MAAM,KAAK,GAAW,CAAC,CAAC,IAAI,CAAA;QAC5B,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACxC,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,cAAc,CAAC,CAAC,EAAE,sBAAsB,KAAK,GAAG;gBACzD,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;YACF,SAAQ;QACZ,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACxB,MAAM,EAAE,GAAW,CAAC,CAAC,QAAQ,CAAA;YAC7B,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBACnC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,KAAK;oBACX,OAAO,EAAE,uBAAuB,CAAC,CAAC,EAAE,0BAA0B,EAAE,GAAG;oBACnE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;iBACrB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC5B,+DAA+D;QAC/D,iEAAiE;QACjE,kEAAkE;QAClE,8CAA8C;QAC9C,MAAM,UAAU,GAAG,CAAC,CAAC,EAAE,CAAA;QACvB,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;QACnC,MAAM,aAAa,GAAG,cAAc,CAAC,CAAC,CAAC,CAAA;QACvC,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;YAC/B,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,YAAY,UAAU,wCAAwC;gBACvE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,UAAU;aACb,CAAC,CAAA;QACN,CAAC;aAAM,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,EAAE,CAAC;YACxC,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,YAAY,UAAU,0CAA0C;gBACzE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,UAAU;aACb,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAA4C,CAAA;IAChE,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAElD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,IAAI,MAAM,GAAkB,KAAK,CAAC,EAAE,CAAA;QACpC,IAAI,aAAa,GAAG,KAAK,CAAA;QACzB,OAAO,MAAM,KAAK,IAAI,EAAE,CAAC;YACrB,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnB,aAAa,GAAG,IAAI,CAAA;gBACpB,MAAK;YACT,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YAChB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YAC7B,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAK;YAC7B,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAA;QAC1B,CAAC;QACD,IAAI,aAAa,EAAE,CAAC;YAChB,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,cAAc,KAAK,CAAC,EAAE,+BAA+B;gBAC9D,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,YAAY,EAAE,KAAK,CAAC,EAAE;aACzB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAoB,CAAA;IAExD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACnC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAQ;QAE9D,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,wDAAwD;YACxD,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,GAAG,CAAC,CAAC,QAAQ,eAAe,CAAC,CAAC,EAAE,8BAA8B;gBACvE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;QACN,CAAC;aAAM,CAAC;YACJ,+CAA+C;YAC/C,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAA;YACxD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YACf,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;QAC/C,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC;QAClD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjB,0DAA0D;YAC1D,8DAA8D;YAC9D,sDAAsD;YACtD,wDAAwD;YACxD,KAAK,MAAM,WAAW,IAAI,GAAG,EAAE,CAAC;gBAC5B,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,KAAK;oBACX,OAAO,EAAE,WAAW,SAAS,8CAA8C,GAAG,CAAC,MAAM,qBAAqB,WAAW,GAAG;oBACxH,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,SAAS;oBACT,YAAY,EAAE,WAAW;iBAC5B,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC1B,IACI,CAAC,CAAC,cAAc,KAAK,IAAI;gBACzB,CAAC,CAAC,cAAc,KAAK,SAAS;gBAC9B,CAAC,CAAC,cAAc,KAAK,EAAE,EACzB,CAAC;gBACC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,KAAK;oBACX,OAAO,EAAE,sBAAsB,CAAC,CAAC,EAAE,6BAA6B;oBAChE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,SAAS,EAAE,CAAC,CAAC,EAAE;iBAClB,CAAC,CAAA;YACN,CAAC;YACD,SAAQ;QACZ,CAAC;QACD,4DAA4D;QAC5D,uCAAuC;QACvC,IAAI,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC;YAAE,SAAQ;QACtC,MAAM,KAAK,GAAI,CAAkC,CAAC,cAAc,CAAA;QAChE,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;YAChC,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,oBAAoB,CAAC,CAAC,EAAE,iCAAiC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,GAAG;gBACrH,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,EAAE;aAClB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,IAAuB;IAC9C,OAAO,EAAE,CAAA;AACb,CAAC;AACD;;;GAGG;AACH,SAAS,gBAAgB,CACrB,WAAgE;IAEhE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsD,CAAA;IACzE,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI;YAAE,SAAQ;QACjC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAA;QACtC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACZ,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IAC7B,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IAChD,CAAC;IACD,OAAO,GAAG,CAAA;AACd,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAClD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACnC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAQ;QAC9D,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QACrC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpB,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,GAAG,CAAC,CAAC,QAAQ,eAAe,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,MAAM,wBAAwB;gBACpF,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,qEAAqE;IACrE,MAAM,MAAM,GAAG,IAAI,GAAG,EAA8C,CAAA;IACpE,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,kEAAkE;QAClE,uEAAuE;QACvE,MAAM,GAAG,GACL,CAAC,CAAC,QAAQ,KAAK,IAAI;YACf,CAAC,CAAC,aAAa,CAAC,CAAC,SAAS,EAAE;YAC5B,CAAC,CAAC,WAAW,CAAC,CAAC,QAAQ,EAAE,CAAA;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAA;QAClC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACZ,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;IACzB,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAA;QACxC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACnB,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;YACvC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACzB,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,KAAK;oBACX,OAAO,EAAE,YAAY,QAAQ,QAAQ,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC,QAAQ,EAAE;oBACxE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;iBACrB,CAAC,CAAA;YACN,CAAC;iBAAM,CAAC;gBACJ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;YAChC,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CACnB,KAAmB;IAEnB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,IAAI,GAAa,EAAE,CAAA;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACzC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACrB,CAAC;IACD,OAAO,IAAI,CAAA;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,GAAsB;IAC9C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,KAAK,MAAM,GAAG,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,wBAAwB,GAAG,EAAE;YACtC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC3B,SAAS,EAAE,GAAG;SACjB,CAAC,CAAA;IACN,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QAChD,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,2BAA2B,GAAG,EAAE;YACzC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC3B,YAAY,EAAE,GAAG;SACpB,CAAC,CAAA;IACN,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9C,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,yBAAyB,GAAG,EAAE;YACvC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC3B,UAAU,EAAE,GAAG;SAClB,CAAC,CAAA;IACN,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,GAAsB;IAC9C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAA;IACxC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;QACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACzB,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,aAAa,QAAQ,QAAQ,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,MAAM,GAAG;gBACvE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,UAAU,EAAE,CAAC,CAAC,EAAE;aACnB,CAAC,CAAA;QACN,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;QAC9B,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,GAAsB;IAC9C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAClD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAQ;QAC3D,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAA;QAC/C,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACd,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,kBAAkB,CAAC,CAAC,EAAE,QAAQ,KAAK,wBAAwB;gBACpE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,GAAsB;IAC9C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAClD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QAClC,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAA;QAC/C,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACd,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,sBAAsB,CAAC,CAAC,EAAE,QAAQ,KAAK,wBAAwB;gBACxE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,GAAsB;IAC9C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAGjC,CAAA;IACH,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAA;QACxD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACZ,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IAC/C,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;YAAE,SAAQ;QACrC,MAAM,aAAa,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QAC1D,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAA;QAC9D,kEAAkE;QAClE,kEAAkE;QAClE,6BAA6B;QAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,MAAM,SAAS,GACX,IAAI,CAAC,IAAI,KAAK,UAAU;gBACxB,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;oBACrB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAA;YACjE,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,MAAM,QAAQ,GACV,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;gBACxD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,sBAAsB,CAAC,CAAC,EAAE,sBAAsB,QAAQ,uCAAuC;oBACxG,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,SAAS,EAAE,CAAC,CAAC,EAAE;oBACf,YAAY,EAAE,IAAI,CAAC,EAAE;iBACxB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,GAAsB;IAEtB,OAAO;QACH,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,WAAW,CAAC,GAAG,CAAC;QACnB,GAAG,WAAW,CAAC,GAAG,CAAC;QACnB,GAAG,WAAW,CAAC,GAAG,CAAC;QACnB,GAAG,WAAW,CAAC,GAAG,CAAC;QACnB,GAAG,WAAW,CAAC,GAAG,CAAC;KACtB,CAAA;AACL,CAAC"}
1	+ {"version":3,"file":"structural.js","sourceRoot":"","sources":["../../../../src/lib/grammar/validators/structural.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,mEAAmE;AACnE,sEAAsE;AACtE,4BAA4B;AAC5B,EAAE;AACF,oBAAoB;AACpB,sBAAsB;AACtB,mCAAmC;AACnC,iBAAiB;AACjB,6BAA6B;AAC7B,8CAA8C;AAC9C,wEAAwE;AACxE,6BAA6B;AAC7B,mCAAmC;AACnC,4BAA4B;AAC5B,kCAAkC;AAClC,uBAAuB;AACvB,2BAA2B;AAC3B,wCAAwC;AAIxC,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AAE9E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACzD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAErD,0BAA0B;IAC1B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxD,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,cAAc,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,QAAQ,yBAAyB;gBAC/E,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,iBAAiB;IACjB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC5B,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;YAClB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,KAAK;oBACX,OAAO,EAAE,YAAY,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,OAAO,yBAAyB;oBAC3E,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,UAAU,EAAE,CAAC,CAAC,EAAE;oBAChB,OAAO,EAAE,CAAC,CAAC,OAAO;iBACrB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;aAAM,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,kEAAkE;YAClE,6DAA6D;YAC7D,IACI,CAAC,CAAC,eAAe,KAAK,GAAG,CAAC,QAAQ,CAAC,EAAE;gBACrC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,EACnC,CAAC;gBACC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,KAAK;oBACX,OAAO,EAAE,YAAY,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAC,cAAc,uCAAuC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE;oBACxH,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,UAAU,EAAE,CAAC,CAAC,EAAE;oBAChB,SAAS,EAAE,CAAC,CAAC,cAAc;iBAC9B,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED,2BAA2B;IAC3B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IACI,CAAC,CAAC,UAAU,KAAK,GAAG,CAAC,QAAQ,CAAC,EAAE;YAChC,CAAC,CAAC,eAAe,KAAK,GAAG,CAAC,QAAQ,CAAC,OAAO,EAC5C,CAAC;YACC,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,WAAW,CAAC,CAAC,EAAE,mCAAmC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,eAAe,mCAAmC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE;gBACxK,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,EAAE;aAClB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAA;AACrB,CAAC;AACD,2EAA2E;AAC3E,yEAAyE;AACzE,uEAAuE;AACvE,0EAA0E;AAC1E,MAAM,oBAAoB,GAAa,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,CAAC,CAAA;AAC1E,MAAM,kBAAkB,GAAa;IACjC,KAAK;IACL,KAAK;IACL,IAAI;IACJ,KAAK;IACL,SAAS;IACT,KAAK;CACR,CAAA;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,qEAAqE;QACrE,mEAAmE;QACnE,mDAAmD;QACnD,MAAM,KAAK,GAAW,CAAC,CAAC,IAAI,CAAA;QAC5B,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACxC,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,cAAc,CAAC,CAAC,EAAE,sBAAsB,KAAK,GAAG;gBACzD,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;YACF,SAAQ;QACZ,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACxB,MAAM,EAAE,GAAW,CAAC,CAAC,QAAQ,CAAA;YAC7B,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBACnC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,KAAK;oBACX,OAAO,EAAE,uBAAuB,CAAC,CAAC,EAAE,0BAA0B,EAAE,GAAG;oBACnE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;iBACrB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC5B,+DAA+D;QAC/D,iEAAiE;QACjE,kEAAkE;QAClE,8CAA8C;QAC9C,MAAM,UAAU,GAAG,CAAC,CAAC,EAAE,CAAA;QACvB,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;QACnC,MAAM,aAAa,GAAG,cAAc,CAAC,CAAC,CAAC,CAAA;QACvC,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;YAC/B,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,YAAY,UAAU,wCAAwC;gBACvE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,UAAU;aACb,CAAC,CAAA;QACN,CAAC;aAAM,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,EAAE,CAAC;YACxC,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,YAAY,UAAU,0CAA0C;gBACzE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,UAAU;aACb,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAA4C,CAAA;IAChE,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAElD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,IAAI,MAAM,GAAkB,KAAK,CAAC,EAAE,CAAA;QACpC,IAAI,aAAa,GAAG,KAAK,CAAA;QACzB,OAAO,MAAM,KAAK,IAAI,EAAE,CAAC;YACrB,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnB,aAAa,GAAG,IAAI,CAAA;gBACpB,MAAK;YACT,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YAChB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YAC7B,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAK;YAC7B,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAA;QAC1B,CAAC;QACD,IAAI,aAAa,EAAE,CAAC;YAChB,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,cAAc,KAAK,CAAC,EAAE,+BAA+B;gBAC9D,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,YAAY,EAAE,KAAK,CAAC,EAAE;aACzB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAoB,CAAA;IAExD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACnC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAQ;QAE9D,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,wDAAwD;YACxD,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,GAAG,CAAC,CAAC,QAAQ,eAAe,CAAC,CAAC,EAAE,8BAA8B;gBACvE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;QACN,CAAC;aAAM,CAAC;YACJ,+CAA+C;YAC/C,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAA;YACxD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YACf,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;QAC/C,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC;QAClD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjB,0DAA0D;YAC1D,8DAA8D;YAC9D,sDAAsD;YACtD,wDAAwD;YACxD,KAAK,MAAM,WAAW,IAAI,GAAG,EAAE,CAAC;gBAC5B,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,KAAK;oBACX,OAAO,EAAE,WAAW,SAAS,8CAA8C,GAAG,CAAC,MAAM,qBAAqB,WAAW,GAAG;oBACxH,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,SAAS;oBACT,YAAY,EAAE,WAAW;iBAC5B,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC1B,IACI,CAAC,CAAC,cAAc,KAAK,IAAI;gBACzB,CAAC,CAAC,cAAc,KAAK,SAAS;gBAC9B,CAAC,CAAC,cAAc,KAAK,EAAE,EACzB,CAAC;gBACC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,KAAK;oBACX,OAAO,EAAE,sBAAsB,CAAC,CAAC,EAAE,6BAA6B;oBAChE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,SAAS,EAAE,CAAC,CAAC,EAAE;iBAClB,CAAC,CAAA;YACN,CAAC;YACD,SAAQ;QACZ,CAAC;QACD,4DAA4D;QAC5D,uCAAuC;QACvC,IAAI,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC;YAAE,SAAQ;QACtC,MAAM,KAAK,GAAI,CAAkC,CAAC,cAAc,CAAA;QAChE,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;YAChC,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,oBAAoB,CAAC,CAAC,EAAE,iCAAiC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,GAAG;gBACrH,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,EAAE;aAClB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,IAAuB;IAC9C,OAAO,EAAE,CAAA;AACb,CAAC;AACD;;;GAGG;AACH,SAAS,gBAAgB,CACrB,WAAgE;IAEhE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsD,CAAA;IACzE,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI;YAAE,SAAQ;QACjC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAA;QACtC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACZ,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IAC7B,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IAChD,CAAC;IACD,OAAO,GAAG,CAAA;AACd,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAClD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,SAAQ;QACnC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAQ;QAC9D,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QACrC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpB,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,GAAG,CAAC,CAAC,QAAQ,eAAe,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,MAAM,wBAAwB;gBACpF,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,GAAsB;IAC7C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,qEAAqE;IACrE,MAAM,MAAM,GAAG,IAAI,GAAG,EAA8C,CAAA;IACpE,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,kEAAkE;QAClE,uEAAuE;QACvE,MAAM,GAAG,GACL,CAAC,CAAC,QAAQ,KAAK,IAAI;YACf,CAAC,CAAC,aAAa,CAAC,CAAC,SAAS,EAAE;YAC5B,CAAC,CAAC,WAAW,CAAC,CAAC,QAAQ,EAAE,CAAA;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAA;QAClC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACZ,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;IACzB,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAA;QACxC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACnB,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;YACvC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACzB,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,KAAK;oBACX,OAAO,EAAE,YAAY,QAAQ,QAAQ,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC,QAAQ,EAAE;oBACxE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;iBACrB,CAAC,CAAA;YACN,CAAC;iBAAM,CAAC;gBACJ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;YAChC,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CACnB,KAAmB;IAEnB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,IAAI,GAAa,EAAE,CAAA;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACzC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACrB,CAAC;IACD,OAAO,IAAI,CAAA;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,GAAsB;IAC9C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,KAAK,MAAM,GAAG,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,wBAAwB,GAAG,EAAE;YACtC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC3B,SAAS,EAAE,GAAG;SACjB,CAAC,CAAA;IACN,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QAChD,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,2BAA2B,GAAG,EAAE;YACzC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC3B,YAAY,EAAE,GAAG;SACpB,CAAC,CAAA;IACN,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9C,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,yBAAyB,GAAG,EAAE;YACvC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC3B,UAAU,EAAE,GAAG;SAClB,CAAC,CAAA;IACN,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,GAAsB;IAC9C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAA;IACxC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;QACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACzB,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,aAAa,QAAQ,QAAQ,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,MAAM,GAAG;gBACvE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,UAAU,EAAE,CAAC,CAAC,EAAE;aACnB,CAAC,CAAA;QACN,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;QAC9B,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,GAAsB;IAC9C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAClD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAQ;QAC3D,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAA;QAC/C,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACd,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,kBAAkB,CAAC,CAAC,EAAE,QAAQ,KAAK,wBAAwB;gBACpE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,GAAsB;IAC9C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAClD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QAClC,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAA;QAC/C,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACd,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,sBAAsB,CAAC,CAAC,EAAE,QAAQ,KAAK,wBAAwB;gBACxE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,YAAY,EAAE,CAAC,CAAC,EAAE;aACrB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,GAAsB;IAC9C,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAGjC,CAAA;IACH,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAA;QACxD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACZ,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IAC/C,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;YAAE,SAAQ;QACrC,MAAM,aAAa,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QAC1D,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAA;QAC9D,kEAAkE;QAClE,kEAAkE;QAClE,6BAA6B;QAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,MAAM,SAAS,GACX,IAAI,CAAC,IAAI,KAAK,UAAU;gBACxB,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;oBACrB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAA;YACjE,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,MAAM,QAAQ,GACV,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;gBACxD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,sBAAsB,CAAC,CAAC,EAAE,sBAAsB,QAAQ,uCAAuC;oBACxG,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;oBAC3B,SAAS,EAAE,CAAC,CAAC,EAAE;oBACf,YAAY,EAAE,IAAI,CAAC,EAAE;iBACxB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,GAAsB;IAEtB,OAAO;QACH,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,UAAU,CAAC,GAAG,CAAC;QAClB,GAAG,WAAW,CAAC,GAAG,CAAC;QACnB,GAAG,WAAW,CAAC,GAAG,CAAC;QACnB,GAAG,WAAW,CAAC,GAAG,CAAC;QACnB,GAAG,WAAW,CAAC,GAAG,CAAC;QACnB,GAAG,WAAW,CAAC,GAAG,CAAC;KACtB,CAAA;AACL,CAAC"}

package/dist/lib/parsing/argument-parser.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"argument-parser.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/argument-parser.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AACrE,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,UAAU,EACV,oBAAoB,EACvB,MAAM,sBAAsB,CAAA;AAO7B,OAAO,EAAE,cAAc,EAAqB,MAAM,4BAA4B,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAA;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAA;AAGlE,OAAO,KAAK,EACR,uBAAuB,EACvB,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,EACjB,MAAM,eAAe,CAAA;AAEtB;;GAEG;AACH,MAAM,MAAM,qBAAqB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,IAC1D;IACA,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;IAC3D,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAClC,oBAAoB,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IACrD,iBAAiB,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,EAAE,cAAc,EAAE,CAAA;CAC7B,CAAA;~~AA2LD~~;;;;;GAKG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB;IAE1D,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;gBAE9B,cAAc,CAAC,EAAE,OAAO;IAIpC;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,uBAAuB;IAQtD;;;;;;;;OAQG;IACI,KAAK,CACR,QAAQ,EAAE,uBAAuB,EACjC,OAAO,CAAC,EAAE,mBAAmB,GAC9B,qBAAqB,CACpB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,CACT;IA+YD,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIlE,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAItE,SAAS,CAAC,gBAAgB,CACtB,gBAAgB,EAAE,YAAY,EAC9B,iBAAiB,EAAE,YAAY,EAC/B,iBAAiB,EAAE,MAAM,EACzB,kBAAkB,EAAE,MAAM,GAC3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAI1B,SAAS,CAAC,aAAa,CACnB,gBAAgB,EAAE,YAAY,EAC9B,iBAAiB,EAAE,YAAY,EAC/B,iBAAiB,EAAE,MAAM,EACzB,kBAAkB,EAAE,MAAM,GAC3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAG7B"}
1	+ {"version":3,"file":"argument-parser.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/argument-parser.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AACrE,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,UAAU,EACV,oBAAoB,EACvB,MAAM,sBAAsB,CAAA;AAO7B,OAAO,EAAE,cAAc,EAAqB,MAAM,4BAA4B,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAA;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAA;AAGlE,OAAO,KAAK,EACR,uBAAuB,EACvB,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,EACjB,MAAM,eAAe,CAAA;AAEtB;;GAEG;AACH,MAAM,MAAM,qBAAqB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,IAC1D;IACA,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;IAC3D,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAClC,oBAAoB,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IACrD,iBAAiB,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,EAAE,cAAc,EAAE,CAAA;CAC7B,CAAA;AA8LD;;;;;GAKG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB;IAE1D,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;gBAE9B,cAAc,CAAC,EAAE,OAAO;IAIpC;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,uBAAuB;IAQtD;;;;;;;;OAQG;IACI,KAAK,CACR,QAAQ,EAAE,uBAAuB,EACjC,OAAO,CAAC,EAAE,mBAAmB,GAC9B,qBAAqB,CACpB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,CACT;IA+YD,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIlE,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAItE,SAAS,CAAC,gBAAgB,CACtB,gBAAgB,EAAE,YAAY,EAC9B,iBAAiB,EAAE,YAAY,EAC/B,iBAAiB,EAAE,MAAM,EACzB,kBAAkB,EAAE,MAAM,GAC3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAI1B,SAAS,CAAC,aAAa,CACnB,gBAAgB,EAAE,YAAY,EAC9B,iBAAiB,EAAE,YAAY,EAC/B,iBAAiB,EAAE,MAAM,EACzB,kBAAkB,EAAE,MAAM,GAC3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAG7B"}

package/dist/lib/parsing/argument-parser.js CHANGED Viewed

@@ -27,6 +27,7 @@ function validateRootOnly(ast, isRoot, premiseMiniId) {
             break;
         case "and":
         case "or":
+        case "xor":
             for (const operand of ast.operands) {
                 validateRootOnly(operand, false, premiseMiniId);
             }
@@ -49,6 +50,7 @@ function collectVariableNames(ast, names) {
             break;
         case "and":
         case "or":
+        case "xor":
             for (const operand of ast.operands) {
                 collectVariableNames(operand, names);
             }
@@ -95,7 +97,8 @@ function buildExpressions(ast, parentId, position, argumentId, argumentVersion,
             return id;
         }
         case "and":
-        case "or": {
+        case "or":
+        case "xor": {
             addExpression({
                 id,
                 argumentId,

package/dist/lib/parsing/argument-parser.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"argument-parser.js","sourceRoot":"","sources":["../../../src/lib/parsing/argument-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAWrC,OAAO,EAA4B,MAAM,8BAA8B,CAAA;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAA;AAGxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAA;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAA;AAClE,OAAO,EAAE,4BAA4B,EAAE,MAAM,eAAe,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AA4BxD,8EAA8E;AAC9E,4DAA4D;AAC5D,8EAA8E;AAE9E;;GAEG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,MAAe,EACf,aAAqB;IAErB,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CACX,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,mBAAmB,4EAA4E,aAAa,IAAI,CACnK,CAAA;IACL,CAAC;IACD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,MAAK;QACT,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACnD,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACnD,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YAChD,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACjD,MAAK;IACb,CAAC;AACL,CAAC;AAED,kEAAkE;AAClE,SAAS,oBAAoB,CAAC,GAAgB,EAAE,KAAkB;IAC9D,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACnB,MAAK;QACT,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACrC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACtC,MAAK;IACb,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,QAAuB,EACvB,QAAgB,EAChB,UAAkB,EAClB,eAAuB,EACvB,SAAiB,EACjB,iBAAqE,EACrE,aAA+C,EAC/C,UAAwB;IAExB,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;IAEvB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;YACjD,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,KAAK;gBACf,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,OAAO,EACX,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC,CAAC,CAAC;YACR,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,gBAAgB,CACZ,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EACf,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACL,CAAC;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,IAAI,EACR,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACD,gBAAgB,CACZ,GAAG,CAAC,KAAK,EACT,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;IACL,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,OAAO,cAAc;IASJ,cAAc,CAAS;IAE1C,YAAY,cAAwB;QAChC,IAAI,CAAC,cAAc,GAAG,cAAc,IAAI,4BAA4B,CAAA;IACxE,CAAC;IAED;;OAEG;IACI,QAAQ,CAAC,GAAY;QACxB,eAAe,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAA;QACzC,uEAAuE;QACvE,oEAAoE;QACpE,uCAAuC;QACvC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAA4B,CAAA;IAC3E,CAAC;IAED;;;;;;;;OAQG;IACI,KAAK,CACR,QAAiC,EACjC,OAA6B;QAU7B,MAAM,QAAQ,GAAqB,EAAE,CAAA;QACrC,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAA;QACtC,MAAM,KAAK,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;QACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAA;QAC7B,IAAI,CAAC,GAAG,EAAE,CAAC;YACP,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;QACtD,CAAC;QAED,6CAA6C;QAC7C,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;QACnE,MAAM,cAAc,GAChB,EAAE,CAAA;QAEN,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACjC,IAAI,GAAgB,CAAA;YACpB,IAAI,CAAC;gBACD,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;YACvC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBAC1D,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,IAAI,KAAK,CACX,wCAAwC,OAAO,CAAC,MAAM,MAAM,GAAG,EAAE,CACpE,CAAA;gBACL,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,qBAAqB;oBAC3B,OAAO,EAAE,wCAAwC,OAAO,CAAC,MAAM,MAAM,GAAG,EAAE;oBAC1E,OAAO,EAAE;wBACL,aAAa,EAAE,OAAO,CAAC,MAAM;wBAC7B,OAAO,EAAE,OAAO,CAAC,OAAO;qBAC3B;iBACJ,CAAC,CAAA;gBACF,SAAQ;YACZ,CAAC;YAED,gCAAgC;YAChC,IAAI,CAAC;gBACD,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;YAC/C,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBAC1D,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,KAAK,CAAA;gBACf,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,GAAG;oBACZ,OAAO,EAAE;wBACL,aAAa,EAAE,OAAO,CAAC,MAAM;wBAC7B,OAAO,EAAE,OAAO,CAAC,OAAO;qBAC3B;iBACJ,CAAC,CAAA;gBACF,SAAQ;YACZ,CAAC;YAED,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAA;QACzC,CAAC;QAED,qBAAqB;QACrB,MAAM,UAAU,GAAG,KAAK,EAAE,CAAA;QAC1B,MAAM,eAAe,GAAG,CAAC,CAAA;QACzB,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;QAC5C,MAAM,QAAQ,GAAG;YACb,GAAG,cAAc;YACjB,EAAE,EAAE,UAAU;YACd,OAAO,EAAE,eAAe;SACnB,CAAA;QAET,+DAA+D;QAC/D,MAAM,YAAY,GAAG,IAAI,YAAY,EAAU,CAAA;QAC/C,MAAM,eAAe,GAAG,IAAI,GAAG,EAG5B,CAAA;QAEH,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;YACzC,MAAM,OAAO,GAAG,KAAK,EAAE,CAAA;YACvB,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC;gBAC9B,GAAG,sBAAsB,CAAC,MAAM,CAAC;gBACjC,EAAE,EAAE,OAAO;gBACX,IAAI,EAAE,WAAW,CAAC,IAAI;aAC0B,CAAC,CAAA;YACrD,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE;gBACpC,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,OAAO,EAAE,KAAK,CAAC,OAAO;aACzB,CAAC,CAAA;QACN,CAAC;QAED,MAAM,oBAAoB,GAAG,IAAI,oBAAoB,CACjD,YAAY,CACf,CAAA;QACD,MAAM,iBAAiB,GAAG,IAAI,iBAAiB,CAAS,YAAY,CAAC,CAAA;QAErE,2BAA2B;QAC3B,MAAM,MAAM,GAAG,IAAI,cAAc,CAC7B,QAAQ,EACR,YAAY,EACZ;YACI,UAAU,EAAE,KAAK;SACpB,CACJ,CAAA;QAED,+DAA+D;QAC/D,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAG9B,CAAA;QAEH,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAA;YAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,IAAI,KAAK,CACX,aAAa,SAAS,CAAC,MAAM,yCAAyC,SAAS,CAAC,WAAW,IAAI,CAClG,CAAA;gBACL,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,aAAa,SAAS,CAAC,MAAM,yCAAyC,SAAS,CAAC,WAAW,IAAI;oBACxG,OAAO,EAAE;wBACL,cAAc,EAAE,SAAS,CAAC,MAAM;wBAChC,WAAW,EAAE,SAAS,CAAC,WAAW;qBACrC;iBACJ,CAAC,CAAA;gBACF,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;gBACxC,SAAQ;YACZ,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;YAC1C,MAAM,QAAQ,GACgB;gBAC1B,GAAG,sBAAsB,CAAC,MAAM,CAAC;gBACjC,EAAE,EAAE,KAAK,EAAE;gBACX,UAAU;gBACV,eAAe;gBACf,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,OAAO,EAAE,QAAQ,CAAC,EAAE;gBACpB,YAAY,EAAE,QAAQ,CAAC,OAAO;aACjC,CAAA;YACD,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;YACjD,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QAChC,CAAC;QAED,yDAAyD;QACzD,MAAM,iBAAiB,GAA0B,EAAE,CAAA;QACnD,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;YACjC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;YACzC,oBAAoB,CAAC,KAAK,CAAC,GAAG,EAAE,eAAe,CAAC,CAAA;YAChD,IAAI,aAAa,GAAG,KAAK,CAAA;YACzB,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;gBACjC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7B,IAAI,MAAM,EAAE,CAAC;wBACT,MAAM,IAAI,KAAK,CACX,wBAAwB,KAAK,CAAC,OAAO,CAAC,MAAM,4CAA4C,IAAI,wBAAwB,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzJ,CAAA;oBACL,CAAC;oBACD,QAAQ,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,4BAA4B;wBAClC,OAAO,EAAE,wBAAwB,KAAK,CAAC,OAAO,CAAC,MAAM,4CAA4C,IAAI,wBAAwB,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;wBAC/J,OAAO,EAAE;4BACL,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;4BACnC,MAAM,EAAE,IAAI;yBACf;qBACJ,CAAC,CAAA;oBACF,aAAa,GAAG,IAAI,CAAA;oBACpB,MAAK;gBACT,CAAC;YACL,CAAC;YACD,IAAI,CAAC,aAAa;gBAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACrD,CAAC;QAED,iDAAiD;QACjD,EAAE;QACF,uDAAuD;QACvD,kDAAkD;QAClD,6DAA6D;QAC7D,6DAA6D;QAC7D,0DAA0D;QAC1D,oDAAoD;QACpD,4DAA4D;QAC5D,0DAA0D;QAC1D,qDAAqD;QACrD,wDAAwD;QACxD,4CAA4C;QAC5C,EAAE;QACF,yDAAyD;QACzD,0DAA0D;QAC1D,0CAA0C;QAC1C,EAAE;QACF,yDAAyD;QACzD,wDAAwD;QACxD,sDAAsD;QACtD,yDAAyD;QACzD,6DAA6D;QAC7D,uDAAuD;QACvD,2DAA2D;QAC3D,8CAA8C;QAC9C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAA;QACnD,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAA;QACrC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;QAChC,IAAI,CAAC;YACD,KAAK,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,iBAAiB,EAAE,CAAC;gBAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAA;gBAC7C,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;gBACnD,iBAAiB,CAAC,GAAG,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;gBAEvD,gBAAgB,CACZ,GAAG,EACH,IAAI,EACJ,gBAAgB,EAChB,UAAU,EACV,eAAe,EACf,EAAE,CAAC,KAAK,EAAE,EACV,iBAAiB,EACjB,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,IAA+B,CAAC,EAC3D,KAAK,CACR,CAAA;YACL,CAAC;YAED,0DAA0D;YAC1D,0DAA0D;YAC1D,qDAAqD;YACrD,aAAa;YACb,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;YACjC,IAAI,aAAa,KAAK,WAAW,EAAE,CAAC;gBAChC,MAAM,CAAC,SAAS,EAAE,CAAA;YACtB,CAAC;QACL,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,sDAAsD;YACtD,0DAA0D;YAC1D,oDAAoD;YACpD,yDAAyD;YACzD,oCAAoC;YACpC,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;YACjC,MAAM,CAAC,CAAA;QACX,CAAC;QAED,oBAAoB;QACpB,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAA;QACvE,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,IAAI,MAAM,EAAE,CAAC;gBACT,MAAM,IAAI,KAAK,CACX,8BAA8B,GAAG,CAAC,uBAAuB,uCAAuC,CACnG,CAAA;YACL,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,8BAA8B;gBACpC,OAAO,EAAE,8BAA8B,GAAG,CAAC,uBAAuB,uCAAuC;gBACzG,OAAO,EAAE;oBACL,uBAAuB,EAAE,GAAG,CAAC,uBAAuB;iBACvD;aACJ,CAAC,CAAA;QACN,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAA;QAC7C,CAAC;QAED,8BAA8B;QAC9B,0DAA0D;QAC1D,kEAAkE;QAClE,qEAAqE;QACrE,+DAA+D;QAC/D,6BAA6B;QAC7B,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;QAC1C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAA;QAEvC,MAAM,iBAAiB,GAAG,CAExB,MAmBD,EAAQ,EAAE;YACP,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;gBAAE,OAAM;YAC/C,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YACnC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CACzB,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,iBAAiB,EACxB,MAAM,CAAC,eAAe,CAAC,EAAE,CAC5B,CAAA;YACD,IAAI,CAAC;gBACD,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;oBACf,GAAG,sBAAsB,CAAC,MAAM,CAAC;oBACjC,EAAE,EAAE,KAAK,EAAE;oBACX,OAAO,EAAE,MAAM,CAAC,iBAAiB;oBACjC,YAAY,EAAE,MAAM,CAAC,sBAAsB;oBAC3C,iBAAiB,EAAE,MAAM,CAAC,eAAe,CAAC,EAAE;oBAC5C,sBAAsB,EAAE,MAAM,CAAC,eAAe,CAAC,OAAO;iBACxB,CAAC,CAAA;YACvC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,IAAI,MAAM;oBAAE,MAAM,KAAK,CAAA;gBACvB,MAAM,IAAI,GACN,KAAK,YAAY,KAAK,IAAI,YAAY,IAAI,KAAK;oBAC3C,CAAC,CAAE,KAA4C;yBACxC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI;oBAC1B,CAAC,CAAC,SAAS,CAAA;gBACnB,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,MAAM,CAAC,WAAW;oBACxB,OAAO,EAAE,GAAG,MAAM,CAAC,QAAQ,SAAS,MAAM,CAAC,iBAAiB,MAAM,MAAM,CAAC,eAAe,CAAC,EAAE,yBAAyB,IAAI,EAAE;oBAC1H,OAAO,EAAE;wBACL,OAAO,EAAE,MAAM,CAAC,iBAAiB;wBACjC,iBAAiB,EAAE,MAAM,CAAC,eAAe,CAAC,EAAE;wBAC5C,gBAAgB,EAAE,MAAM,CAAC,IAAI,CAAC;qBACjC;iBACJ,CAAC,CAAA;YACN,CAAC;QACL,CAAC,CAAA;QAED,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,iBAAiB,IAAI,EAAE,EAAE,CAAC;YAChD,MAAM,aAAa,GAAG,eAAe,CAAC,GAAG,CACrC,OAAO,CAAC,kBAAkB,CAC7B,CAAA;YACD,IAAI,CAAC,aAAa;gBAAE,SAAQ;YAC5B,MAAM,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CACpC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC,kBAAkB,CACnD,CAAA;YACD,IAAI,CAAC,gBAAgB;gBAAE,SAAQ;YAC/B,MAAM,iBAAiB,GAAG,aAAa,CAAC,EAAE,CAAA;YAC1C,MAAM,sBAAsB,GAAG,aAAa,CAAC,OAAO,CAAA;YAEpD,KAAK,MAAM,eAAe,IAAI,OAAO,CAAC,sBAAsB,EAAE,CAAC;gBAC3D,MAAM,YAAY,GAAG,eAAe,CAAC,GAAG,CAAC,eAAe,CAAC,CAAA;gBACzD,IAAI,CAAC,YAAY;oBAAE,SAAQ;gBAC3B,MAAM,eAAe,GAAG,YAAY,CAAC,GAAG,CACpC,YAAY,CAAC,EAAE,EACf,YAAY,CAAC,OAAO,CACvB,CAAA;gBACD,IAAI,CAAC,eAAe;oBAAE,SAAQ;gBAC9B,MAAM,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CACpC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,eAAe,CACxC,CAAA;gBACD,IAAI,CAAC,gBAAgB;oBAAE,SAAQ;gBAE/B,MAAM,OAAO,GAAG,GAAG,iBAAiB,IAAI,eAAe,CAAC,EAAE,EAAE,CAAA;gBAE5D,IAAI,eAAe,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACtC,iBAAiB,CAAY;wBACzB,OAAO,EAAE,oBAAoB;wBAC7B,QAAQ,EAAE,gBAAgB;wBAC1B,OAAO;wBACP,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACpB,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBACrC,gBAAgB;wBAChB,gBAAgB;wBAChB,iBAAiB;wBACjB,sBAAsB;wBACtB,eAAe;wBACf,WAAW,EAAE,wBAAwB;wBACrC,QAAQ,EAAE,UAAU;qBACvB,CAAC,CAAA;gBACN,CAAC;qBAAM,IAAI,eAAe,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAC9C,iBAAiB,CAAS;wBACtB,OAAO,EAAE,iBAAiB;wBAC1B,QAAQ,EAAE,aAAa;wBACvB,OAAO;wBACP,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBACvD,gBAAgB;wBAChB,gBAAgB;wBAChB,iBAAiB;wBACjB,sBAAsB;wBACtB,eAAe;wBACf,WAAW,EAAE,qBAAqB;wBAClC,QAAQ,EAAE,OAAO;qBACpB,CAAC,CAAA;gBACN,CAAC;gBACD,8BAA8B;YAClC,CAAC;QACL,CAAC;QAED,OAAO;YACH,MAAM;YACN,YAAY;YACZ,oBAAoB;YACpB,iBAAiB;YACjB,QAAQ;SACX,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,6DAA6D;IAC7D,0EAA0E;IAEhE,WAAW,CAAC,OAAwB;QAC1C,OAAO,EAAE,CAAA;IACb,CAAC;IAES,QAAQ,CAAC,OAAqB;QACpC,OAAO,EAAE,CAAA;IACb,CAAC;IAES,WAAW,CAAC,OAAwB;QAC1C,OAAO,EAAE,CAAA;IACb,CAAC;IAES,UAAU,CAAC,OAAuB;QACxC,OAAO,EAAE,CAAA;IACb,CAAC;IAES,gBAAgB,CACtB,gBAA8B,EAC9B,iBAA+B,EAC/B,iBAAyB,EACzB,kBAA0B;QAE1B,OAAO,EAAE,CAAA;IACb,CAAC;IAES,aAAa,CACnB,gBAA8B,EAC9B,iBAA+B,EAC/B,iBAAyB,EACzB,kBAA0B;QAE1B,OAAO,EAAE,CAAA;IACb,CAAC;CACJ"}
1	+ {"version":3,"file":"argument-parser.js","sourceRoot":"","sources":["../../../src/lib/parsing/argument-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAWrC,OAAO,EAA4B,MAAM,8BAA8B,CAAA;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAA;AAGxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAA;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAA;AAClE,OAAO,EAAE,4BAA4B,EAAE,MAAM,eAAe,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AA4BxD,8EAA8E;AAC9E,4DAA4D;AAC5D,8EAA8E;AAE9E;;GAEG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,MAAe,EACf,aAAqB;IAErB,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CACX,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,mBAAmB,4EAA4E,aAAa,IAAI,CACnK,CAAA;IACL,CAAC;IACD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,MAAK;QACT,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACnD,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC;QACV,KAAK,KAAK;YACN,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACnD,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YAChD,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACjD,MAAK;IACb,CAAC;AACL,CAAC;AAED,kEAAkE;AAClE,SAAS,oBAAoB,CAAC,GAAgB,EAAE,KAAkB;IAC9D,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACnB,MAAK;QACT,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC;QACV,KAAK,KAAK;YACN,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACrC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACtC,MAAK;IACb,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,QAAuB,EACvB,QAAgB,EAChB,UAAkB,EAClB,eAAuB,EACvB,SAAiB,EACjB,iBAAqE,EACrE,aAA+C,EAC/C,UAAwB;IAExB,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;IAEvB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;YACjD,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,KAAK;gBACf,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,OAAO,EACX,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,gBAAgB,CACZ,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EACf,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACL,CAAC;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,IAAI,EACR,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACD,gBAAgB,CACZ,GAAG,CAAC,KAAK,EACT,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;IACL,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,OAAO,cAAc;IASJ,cAAc,CAAS;IAE1C,YAAY,cAAwB;QAChC,IAAI,CAAC,cAAc,GAAG,cAAc,IAAI,4BAA4B,CAAA;IACxE,CAAC;IAED;;OAEG;IACI,QAAQ,CAAC,GAAY;QACxB,eAAe,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAA;QACzC,uEAAuE;QACvE,oEAAoE;QACpE,uCAAuC;QACvC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAA4B,CAAA;IAC3E,CAAC;IAED;;;;;;;;OAQG;IACI,KAAK,CACR,QAAiC,EACjC,OAA6B;QAU7B,MAAM,QAAQ,GAAqB,EAAE,CAAA;QACrC,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAA;QACtC,MAAM,KAAK,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;QACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAA;QAC7B,IAAI,CAAC,GAAG,EAAE,CAAC;YACP,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;QACtD,CAAC;QAED,6CAA6C;QAC7C,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;QACnE,MAAM,cAAc,GAChB,EAAE,CAAA;QAEN,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACjC,IAAI,GAAgB,CAAA;YACpB,IAAI,CAAC;gBACD,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;YACvC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBAC1D,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,IAAI,KAAK,CACX,wCAAwC,OAAO,CAAC,MAAM,MAAM,GAAG,EAAE,CACpE,CAAA;gBACL,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,qBAAqB;oBAC3B,OAAO,EAAE,wCAAwC,OAAO,CAAC,MAAM,MAAM,GAAG,EAAE;oBAC1E,OAAO,EAAE;wBACL,aAAa,EAAE,OAAO,CAAC,MAAM;wBAC7B,OAAO,EAAE,OAAO,CAAC,OAAO;qBAC3B;iBACJ,CAAC,CAAA;gBACF,SAAQ;YACZ,CAAC;YAED,gCAAgC;YAChC,IAAI,CAAC;gBACD,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;YAC/C,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBAC1D,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,KAAK,CAAA;gBACf,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,GAAG;oBACZ,OAAO,EAAE;wBACL,aAAa,EAAE,OAAO,CAAC,MAAM;wBAC7B,OAAO,EAAE,OAAO,CAAC,OAAO;qBAC3B;iBACJ,CAAC,CAAA;gBACF,SAAQ;YACZ,CAAC;YAED,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAA;QACzC,CAAC;QAED,qBAAqB;QACrB,MAAM,UAAU,GAAG,KAAK,EAAE,CAAA;QAC1B,MAAM,eAAe,GAAG,CAAC,CAAA;QACzB,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;QAC5C,MAAM,QAAQ,GAAG;YACb,GAAG,cAAc;YACjB,EAAE,EAAE,UAAU;YACd,OAAO,EAAE,eAAe;SACnB,CAAA;QAET,+DAA+D;QAC/D,MAAM,YAAY,GAAG,IAAI,YAAY,EAAU,CAAA;QAC/C,MAAM,eAAe,GAAG,IAAI,GAAG,EAG5B,CAAA;QAEH,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;YACzC,MAAM,OAAO,GAAG,KAAK,EAAE,CAAA;YACvB,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC;gBAC9B,GAAG,sBAAsB,CAAC,MAAM,CAAC;gBACjC,EAAE,EAAE,OAAO;gBACX,IAAI,EAAE,WAAW,CAAC,IAAI;aAC0B,CAAC,CAAA;YACrD,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE;gBACpC,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,OAAO,EAAE,KAAK,CAAC,OAAO;aACzB,CAAC,CAAA;QACN,CAAC;QAED,MAAM,oBAAoB,GAAG,IAAI,oBAAoB,CACjD,YAAY,CACf,CAAA;QACD,MAAM,iBAAiB,GAAG,IAAI,iBAAiB,CAAS,YAAY,CAAC,CAAA;QAErE,2BAA2B;QAC3B,MAAM,MAAM,GAAG,IAAI,cAAc,CAC7B,QAAQ,EACR,YAAY,EACZ;YACI,UAAU,EAAE,KAAK;SACpB,CACJ,CAAA;QAED,+DAA+D;QAC/D,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAG9B,CAAA;QAEH,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAA;YAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,IAAI,KAAK,CACX,aAAa,SAAS,CAAC,MAAM,yCAAyC,SAAS,CAAC,WAAW,IAAI,CAClG,CAAA;gBACL,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,aAAa,SAAS,CAAC,MAAM,yCAAyC,SAAS,CAAC,WAAW,IAAI;oBACxG,OAAO,EAAE;wBACL,cAAc,EAAE,SAAS,CAAC,MAAM;wBAChC,WAAW,EAAE,SAAS,CAAC,WAAW;qBACrC;iBACJ,CAAC,CAAA;gBACF,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;gBACxC,SAAQ;YACZ,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;YAC1C,MAAM,QAAQ,GACgB;gBAC1B,GAAG,sBAAsB,CAAC,MAAM,CAAC;gBACjC,EAAE,EAAE,KAAK,EAAE;gBACX,UAAU;gBACV,eAAe;gBACf,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,OAAO,EAAE,QAAQ,CAAC,EAAE;gBACpB,YAAY,EAAE,QAAQ,CAAC,OAAO;aACjC,CAAA;YACD,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;YACjD,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QAChC,CAAC;QAED,yDAAyD;QACzD,MAAM,iBAAiB,GAA0B,EAAE,CAAA;QACnD,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;YACjC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;YACzC,oBAAoB,CAAC,KAAK,CAAC,GAAG,EAAE,eAAe,CAAC,CAAA;YAChD,IAAI,aAAa,GAAG,KAAK,CAAA;YACzB,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;gBACjC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7B,IAAI,MAAM,EAAE,CAAC;wBACT,MAAM,IAAI,KAAK,CACX,wBAAwB,KAAK,CAAC,OAAO,CAAC,MAAM,4CAA4C,IAAI,wBAAwB,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzJ,CAAA;oBACL,CAAC;oBACD,QAAQ,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,4BAA4B;wBAClC,OAAO,EAAE,wBAAwB,KAAK,CAAC,OAAO,CAAC,MAAM,4CAA4C,IAAI,wBAAwB,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;wBAC/J,OAAO,EAAE;4BACL,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;4BACnC,MAAM,EAAE,IAAI;yBACf;qBACJ,CAAC,CAAA;oBACF,aAAa,GAAG,IAAI,CAAA;oBACpB,MAAK;gBACT,CAAC;YACL,CAAC;YACD,IAAI,CAAC,aAAa;gBAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACrD,CAAC;QAED,iDAAiD;QACjD,EAAE;QACF,uDAAuD;QACvD,kDAAkD;QAClD,6DAA6D;QAC7D,6DAA6D;QAC7D,0DAA0D;QAC1D,oDAAoD;QACpD,4DAA4D;QAC5D,0DAA0D;QAC1D,qDAAqD;QACrD,wDAAwD;QACxD,4CAA4C;QAC5C,EAAE;QACF,yDAAyD;QACzD,0DAA0D;QAC1D,0CAA0C;QAC1C,EAAE;QACF,yDAAyD;QACzD,wDAAwD;QACxD,sDAAsD;QACtD,yDAAyD;QACzD,6DAA6D;QAC7D,uDAAuD;QACvD,2DAA2D;QAC3D,8CAA8C;QAC9C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAA;QACnD,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAA;QACrC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;QAChC,IAAI,CAAC;YACD,KAAK,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,iBAAiB,EAAE,CAAC;gBAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAA;gBAC7C,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;gBACnD,iBAAiB,CAAC,GAAG,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;gBAEvD,gBAAgB,CACZ,GAAG,EACH,IAAI,EACJ,gBAAgB,EAChB,UAAU,EACV,eAAe,EACf,EAAE,CAAC,KAAK,EAAE,EACV,iBAAiB,EACjB,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,IAA+B,CAAC,EAC3D,KAAK,CACR,CAAA;YACL,CAAC;YAED,0DAA0D;YAC1D,0DAA0D;YAC1D,qDAAqD;YACrD,aAAa;YACb,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;YACjC,IAAI,aAAa,KAAK,WAAW,EAAE,CAAC;gBAChC,MAAM,CAAC,SAAS,EAAE,CAAA;YACtB,CAAC;QACL,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,sDAAsD;YACtD,0DAA0D;YAC1D,oDAAoD;YACpD,yDAAyD;YACzD,oCAAoC;YACpC,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;YACjC,MAAM,CAAC,CAAA;QACX,CAAC;QAED,oBAAoB;QACpB,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAA;QACvE,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,IAAI,MAAM,EAAE,CAAC;gBACT,MAAM,IAAI,KAAK,CACX,8BAA8B,GAAG,CAAC,uBAAuB,uCAAuC,CACnG,CAAA;YACL,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,8BAA8B;gBACpC,OAAO,EAAE,8BAA8B,GAAG,CAAC,uBAAuB,uCAAuC;gBACzG,OAAO,EAAE;oBACL,uBAAuB,EAAE,GAAG,CAAC,uBAAuB;iBACvD;aACJ,CAAC,CAAA;QACN,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAA;QAC7C,CAAC;QAED,8BAA8B;QAC9B,0DAA0D;QAC1D,kEAAkE;QAClE,qEAAqE;QACrE,+DAA+D;QAC/D,6BAA6B;QAC7B,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;QAC1C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAA;QAEvC,MAAM,iBAAiB,GAAG,CAExB,MAmBD,EAAQ,EAAE;YACP,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;gBAAE,OAAM;YAC/C,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YACnC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CACzB,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,iBAAiB,EACxB,MAAM,CAAC,eAAe,CAAC,EAAE,CAC5B,CAAA;YACD,IAAI,CAAC;gBACD,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;oBACf,GAAG,sBAAsB,CAAC,MAAM,CAAC;oBACjC,EAAE,EAAE,KAAK,EAAE;oBACX,OAAO,EAAE,MAAM,CAAC,iBAAiB;oBACjC,YAAY,EAAE,MAAM,CAAC,sBAAsB;oBAC3C,iBAAiB,EAAE,MAAM,CAAC,eAAe,CAAC,EAAE;oBAC5C,sBAAsB,EAAE,MAAM,CAAC,eAAe,CAAC,OAAO;iBACxB,CAAC,CAAA;YACvC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,IAAI,MAAM;oBAAE,MAAM,KAAK,CAAA;gBACvB,MAAM,IAAI,GACN,KAAK,YAAY,KAAK,IAAI,YAAY,IAAI,KAAK;oBAC3C,CAAC,CAAE,KAA4C;yBACxC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI;oBAC1B,CAAC,CAAC,SAAS,CAAA;gBACnB,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,MAAM,CAAC,WAAW;oBACxB,OAAO,EAAE,GAAG,MAAM,CAAC,QAAQ,SAAS,MAAM,CAAC,iBAAiB,MAAM,MAAM,CAAC,eAAe,CAAC,EAAE,yBAAyB,IAAI,EAAE;oBAC1H,OAAO,EAAE;wBACL,OAAO,EAAE,MAAM,CAAC,iBAAiB;wBACjC,iBAAiB,EAAE,MAAM,CAAC,eAAe,CAAC,EAAE;wBAC5C,gBAAgB,EAAE,MAAM,CAAC,IAAI,CAAC;qBACjC;iBACJ,CAAC,CAAA;YACN,CAAC;QACL,CAAC,CAAA;QAED,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,iBAAiB,IAAI,EAAE,EAAE,CAAC;YAChD,MAAM,aAAa,GAAG,eAAe,CAAC,GAAG,CACrC,OAAO,CAAC,kBAAkB,CAC7B,CAAA;YACD,IAAI,CAAC,aAAa;gBAAE,SAAQ;YAC5B,MAAM,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CACpC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC,kBAAkB,CACnD,CAAA;YACD,IAAI,CAAC,gBAAgB;gBAAE,SAAQ;YAC/B,MAAM,iBAAiB,GAAG,aAAa,CAAC,EAAE,CAAA;YAC1C,MAAM,sBAAsB,GAAG,aAAa,CAAC,OAAO,CAAA;YAEpD,KAAK,MAAM,eAAe,IAAI,OAAO,CAAC,sBAAsB,EAAE,CAAC;gBAC3D,MAAM,YAAY,GAAG,eAAe,CAAC,GAAG,CAAC,eAAe,CAAC,CAAA;gBACzD,IAAI,CAAC,YAAY;oBAAE,SAAQ;gBAC3B,MAAM,eAAe,GAAG,YAAY,CAAC,GAAG,CACpC,YAAY,CAAC,EAAE,EACf,YAAY,CAAC,OAAO,CACvB,CAAA;gBACD,IAAI,CAAC,eAAe;oBAAE,SAAQ;gBAC9B,MAAM,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CACpC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,eAAe,CACxC,CAAA;gBACD,IAAI,CAAC,gBAAgB;oBAAE,SAAQ;gBAE/B,MAAM,OAAO,GAAG,GAAG,iBAAiB,IAAI,eAAe,CAAC,EAAE,EAAE,CAAA;gBAE5D,IAAI,eAAe,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACtC,iBAAiB,CAAY;wBACzB,OAAO,EAAE,oBAAoB;wBAC7B,QAAQ,EAAE,gBAAgB;wBAC1B,OAAO;wBACP,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACpB,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBACrC,gBAAgB;wBAChB,gBAAgB;wBAChB,iBAAiB;wBACjB,sBAAsB;wBACtB,eAAe;wBACf,WAAW,EAAE,wBAAwB;wBACrC,QAAQ,EAAE,UAAU;qBACvB,CAAC,CAAA;gBACN,CAAC;qBAAM,IAAI,eAAe,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAC9C,iBAAiB,CAAS;wBACtB,OAAO,EAAE,iBAAiB;wBAC1B,QAAQ,EAAE,aAAa;wBACvB,OAAO;wBACP,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBACvD,gBAAgB;wBAChB,gBAAgB;wBAChB,iBAAiB;wBACjB,sBAAsB;wBACtB,eAAe;wBACf,WAAW,EAAE,qBAAqB;wBAClC,QAAQ,EAAE,OAAO;qBACpB,CAAC,CAAA;gBACN,CAAC;gBACD,8BAA8B;YAClC,CAAC;QACL,CAAC;QAED,OAAO;YACH,MAAM;YACN,YAAY;YACZ,oBAAoB;YACpB,iBAAiB;YACjB,QAAQ;SACX,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,6DAA6D;IAC7D,0EAA0E;IAEhE,WAAW,CAAC,OAAwB;QAC1C,OAAO,EAAE,CAAA;IACb,CAAC;IAES,QAAQ,CAAC,OAAqB;QACpC,OAAO,EAAE,CAAA;IACb,CAAC;IAES,WAAW,CAAC,OAAwB;QAC1C,OAAO,EAAE,CAAA;IACb,CAAC;IAES,UAAU,CAAC,OAAuB;QACxC,OAAO,EAAE,CAAA;IACb,CAAC;IAES,gBAAgB,CACtB,gBAA8B,EAC9B,iBAA+B,EAC/B,iBAAyB,EACzB,kBAA0B;QAE1B,OAAO,EAAE,CAAA;IACb,CAAC;IAES,aAAa,CACnB,gBAA8B,EAC9B,iBAA+B,EAC/B,iBAAyB,EACzB,kBAA0B;QAE1B,OAAO,EAAE,CAAA;IACb,CAAC;CACJ"}

package/dist/lib/schemata/propositional.d.ts CHANGED Viewed

@@ -16,7 +16,7 @@ export declare const CorePropositionalVariableExpressionSchema: Type.TObject<{
     enthymeme: Type.TOptional<Type.TLiteral<true>>;
 }>;
 export type TCorePropositionalVariableExpression = Static<typeof CorePropositionalVariableExpressionSchema>;
-export declare const CoreLogicalOperatorType: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+export declare const CoreLogicalOperatorType: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"xor">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
 export type TCoreLogicalOperatorType = Static<typeof CoreLogicalOperatorType>;
 export declare const CoreOperatorExpressionSchema: Type.TObject<{
     id: Type.TString;
@@ -29,7 +29,7 @@ export declare const CoreOperatorExpressionSchema: Type.TObject<{
     descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
     combinedChecksum: Type.TString;
     type: Type.TLiteral<"operator">;
-    operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+    operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"xor">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
 }>;
 export type TCoreOperatorExpression = Static<typeof CoreOperatorExpressionSchema>;
 export declare const CoreFormulaExpressionSchema: Type.TObject<{
@@ -69,7 +69,7 @@ export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObjec
     descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
     combinedChecksum: Type.TString;
     type: Type.TLiteral<"operator">;
-    operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+    operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"xor">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
 }>, Type.TObject<{
     id: Type.TString;
     argumentId: Type.TString;

package/dist/lib/schemata/propositional.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,gCAAgC,+FAI3C,CAAA;AACF,MAAM,MAAM,iCAAiC,GAAG,MAAM,CAClD,OAAO,gCAAgC,CAC1C,CAAA;AA8CD,eAAO,MAAM,yCAAyC;;;;;;;;;;;;;EAOrD,CAAA;AAED,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,yCAAyC,CACnD,CAAA;AAED,eAAO,MAAM,uBAAuB,~~gIAMlC~~,CAAA;AAEF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAE7E,eAAO,MAAM,4BAA4B;;;;;;;;;;;;EAMxC,CAAA;AACD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;EAKvC,CAAA;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAI5C,CAAA;AAEF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,iCAAiC,CAC3C,CAAA;AAED,MAAM,MAAM,4BAA4B,CACpC,CAAC,SAAS,iCAAiC,GACvC,iCAAiC,IACrC,OAAO,CAAC,oCAAoC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAc9D,eAAO,MAAM,4BAA4B;;;;;;;;EAaxC,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,4BAA4B,CAAC,CAAA;AAE7E,eAAO,MAAM,8BAA8B;;;;;;;;;EAe1C,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,CACtC,OAAO,8BAA8B,CACxC,CAAA;AAED,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;IAG1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,iEAAiE;AACjE,wBAAgB,YAAY,CACxB,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,mBAAmB,CAE1B;AAED,mEAAmE;AACnE,wBAAgB,cAAc,CAC1B,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,qBAAqB,CAE5B;AAED,iGAAiG;AACjG,wBAAgB,iBAAiB,CAC7B,CAAC,EAAE,qBAAqB,EACxB,UAAU,EAAE,MAAM,GACnB,OAAO,CAET;AAoBD,eAAO,MAAM,yBAAyB;;;;;;;;;EAUrC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;EAWvC,CAAA;AAED,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;IAM7B,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAC3E,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAC/E,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}
1	+ {"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,gCAAgC,+FAI3C,CAAA;AACF,MAAM,MAAM,iCAAiC,GAAG,MAAM,CAClD,OAAO,gCAAgC,CAC1C,CAAA;AA8CD,eAAO,MAAM,yCAAyC;;;;;;;;;;;;;EAOrD,CAAA;AAED,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,yCAAyC,CACnD,CAAA;AAED,eAAO,MAAM,uBAAuB,sJAOlC,CAAA;AAEF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAE7E,eAAO,MAAM,4BAA4B;;;;;;;;;;;;EAMxC,CAAA;AACD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;EAKvC,CAAA;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAI5C,CAAA;AAEF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,iCAAiC,CAC3C,CAAA;AAED,MAAM,MAAM,4BAA4B,CACpC,CAAC,SAAS,iCAAiC,GACvC,iCAAiC,IACrC,OAAO,CAAC,oCAAoC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAc9D,eAAO,MAAM,4BAA4B;;;;;;;;EAaxC,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,4BAA4B,CAAC,CAAA;AAE7E,eAAO,MAAM,8BAA8B;;;;;;;;;EAe1C,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,CACtC,OAAO,8BAA8B,CACxC,CAAA;AAED,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;IAG1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,iEAAiE;AACjE,wBAAgB,YAAY,CACxB,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,mBAAmB,CAE1B;AAED,mEAAmE;AACnE,wBAAgB,cAAc,CAC1B,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,qBAAqB,CAE5B;AAED,iGAAiG;AACjG,wBAAgB,iBAAiB,CAC7B,CAAC,EAAE,qBAAqB,EACxB,UAAU,EAAE,MAAM,GACnB,OAAO,CAET;AAoBD,eAAO,MAAM,yBAAyB;;;;;;;;;EAUrC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;EAWvC,CAAA;AAED,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;IAM7B,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAC3E,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAC/E,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}

package/dist/lib/schemata/propositional.js CHANGED Viewed

@@ -49,6 +49,7 @@ export const CoreLogicalOperatorType = Type.Union([
     Type.Literal("not"), // unary
     Type.Literal("and"), // variadic (≥2)
     Type.Literal("or"), // variadic (≥2)
+    Type.Literal("xor"), // variadic (≥2)
     Type.Literal("implies"), // binary (ordered)
     Type.Literal("iff"), // binary (unordered but fixed 2)
 ]);

package/dist/lib/schemata/propositional.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"propositional.js","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAE5C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AAE3C,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,KAAK,CAAC;IACvD,YAAY;IACZ,YAAY;IACZ,WAAW;CACd,CAAC,CAAA;AAKF,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,SAAS,EAAE,IAAI;IACf,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;QACrB,WAAW,EACP,sFAAsF;KAC7F,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EACP,0IAA0I;KACjJ,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;IAEF,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACxC,WAAW,EACP,uFAAuF;KAC9F,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC1B,WAAW,EACP,yFAAyF;KAChG,CAAC;CACL,CAAC,CAAA;AAEF,wEAAwE;AACxE,2EAA2E;AAC3E,0EAA0E;AAC1E,6EAA6E;AAC7E,sEAAsE;AACtE,+EAA+E;AAC/E,4EAA4E;AAC5E,gFAAgF;AAChF,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAChC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE;IACf,WAAW,EACP,0OAA0O;CACjP,CAAC,CACL,CAAA;AAED,MAAM,CAAC,MAAM,yCAAyC,GAAG,IAAI,CAAC,SAAS,CACnE,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,UAAU,EAAE,IAAI;IAChB,SAAS,EAAE,cAAc;CAC5B,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ;IAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,gBAAgB;IACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,gBAAgB;IACpC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,mBAAmB;IAC5C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,iCAAiC;CACzD,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,SAAS,CACtD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,QAAQ,EAAE,uBAAuB;CACpC,CACJ,CAAA;AAKD,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,SAAS,CACrD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,WAAW;CACpB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,KAAK,CAAC;IACxD,yCAAyC;IACzC,4BAA4B;IAC5B,2BAA2B;CAC9B,CAAC,CAAA;AAWF,MAAM,sBAAsB,GAAG;IAC3B,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,WAAW,EAAE,0DAA0D;KAC1E,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;CACL,CAAA;AAED,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CACnD;IACI,GAAG,sBAAsB;IACzB,OAAO,EAAE,IAAI;IACb,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC;QACtB,WAAW,EAAE,oDAAoD;KACpE,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,kEAAkE;CACzE,CACJ,CAAA;AAID,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CACrD;IACI,GAAG,sBAAsB;IACzB,cAAc,EAAE,IAAI;IACpB,eAAe,EAAE,IAAI;IACrB,oBAAoB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC9B,WAAW,EACP,0DAA0D;KACjE,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,wGAAwG;CAC/G,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,KAAK,CAAC;IACtD,4BAA4B;IAC5B,8BAA8B;CACjC,CAAC,CAAA;AAMF,iEAAiE;AACjE,MAAM,UAAU,YAAY,CACxB,CAA6B;IAE7B,OAAO,SAAS,IAAI,CAAC,CAAA;AACzB,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,cAAc,CAC1B,CAA6B;IAE7B,OAAO,gBAAgB,IAAI,CAAC,CAAA;AAChC,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,iBAAiB,CAC7B,CAAwB,EACxB,UAAkB;IAElB,OAAO,CAAC,CAAC,eAAe,KAAK,UAAU,CAAA;AAC3C,CAAC;AAED,MAAM,mBAAmB,GAAG;IACxB,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,4CAA4C;KAC5D,CAAC;IACF,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACxC,WAAW,EACP,uFAAuF;KAC9F,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC1B,WAAW,EACP,yFAAyF;KAChG,CAAC;IACF,SAAS,EAAE,cAAc;CAC5B,CAAA;AAED,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAChD;IACI,GAAG,mBAAmB;IACtB,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;CACjC,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,uEAAuE;CAC9E,CACJ,CAAA;AAED,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAClD;IACI,GAAG,mBAAmB;IACtB,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAChC,cAAc,EAAE,IAAI;CACvB,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,iHAAiH;CACxH,CACJ,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CACvC,CAAC,yBAAyB,EAAE,2BAA2B,CAAC,EACxD;IACI,WAAW,EACP,+HAA+H;CACtI,CACJ,CAAA"}
1	+ {"version":3,"file":"propositional.js","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAE5C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AAE3C,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,KAAK,CAAC;IACvD,YAAY;IACZ,YAAY;IACZ,WAAW;CACd,CAAC,CAAA;AAKF,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,SAAS,EAAE,IAAI;IACf,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;QACrB,WAAW,EACP,sFAAsF;KAC7F,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EACP,0IAA0I;KACjJ,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;IAEF,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACxC,WAAW,EACP,uFAAuF;KAC9F,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC1B,WAAW,EACP,yFAAyF;KAChG,CAAC;CACL,CAAC,CAAA;AAEF,wEAAwE;AACxE,2EAA2E;AAC3E,0EAA0E;AAC1E,6EAA6E;AAC7E,sEAAsE;AACtE,+EAA+E;AAC/E,4EAA4E;AAC5E,gFAAgF;AAChF,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAChC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE;IACf,WAAW,EACP,0OAA0O;CACjP,CAAC,CACL,CAAA;AAED,MAAM,CAAC,MAAM,yCAAyC,GAAG,IAAI,CAAC,SAAS,CACnE,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,UAAU,EAAE,IAAI;IAChB,SAAS,EAAE,cAAc;CAC5B,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ;IAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,gBAAgB;IACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,gBAAgB;IACpC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,gBAAgB;IACrC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,mBAAmB;IAC5C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,iCAAiC;CACzD,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,SAAS,CACtD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,QAAQ,EAAE,uBAAuB;CACpC,CACJ,CAAA;AAKD,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,SAAS,CACrD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,WAAW;CACpB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,KAAK,CAAC;IACxD,yCAAyC;IACzC,4BAA4B;IAC5B,2BAA2B;CAC9B,CAAC,CAAA;AAWF,MAAM,sBAAsB,GAAG;IAC3B,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,WAAW,EAAE,0DAA0D;KAC1E,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;CACL,CAAA;AAED,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CACnD;IACI,GAAG,sBAAsB;IACzB,OAAO,EAAE,IAAI;IACb,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC;QACtB,WAAW,EAAE,oDAAoD;KACpE,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,kEAAkE;CACzE,CACJ,CAAA;AAID,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CACrD;IACI,GAAG,sBAAsB;IACzB,cAAc,EAAE,IAAI;IACpB,eAAe,EAAE,IAAI;IACrB,oBAAoB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC9B,WAAW,EACP,0DAA0D;KACjE,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,wGAAwG;CAC/G,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,KAAK,CAAC;IACtD,4BAA4B;IAC5B,8BAA8B;CACjC,CAAC,CAAA;AAMF,iEAAiE;AACjE,MAAM,UAAU,YAAY,CACxB,CAA6B;IAE7B,OAAO,SAAS,IAAI,CAAC,CAAA;AACzB,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,cAAc,CAC1B,CAA6B;IAE7B,OAAO,gBAAgB,IAAI,CAAC,CAAA;AAChC,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,iBAAiB,CAC7B,CAAwB,EACxB,UAAkB;IAElB,OAAO,CAAC,CAAC,eAAe,KAAK,UAAU,CAAA;AAC3C,CAAC;AAED,MAAM,mBAAmB,GAAG;IACxB,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,4CAA4C;KAC5D,CAAC;IACF,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACxC,WAAW,EACP,uFAAuF;KAC9F,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC1B,WAAW,EACP,yFAAyF;KAChG,CAAC;IACF,SAAS,EAAE,cAAc;CAC5B,CAAA;AAED,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAChD;IACI,GAAG,mBAAmB;IACtB,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;CACjC,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,uEAAuE;CAC9E,CACJ,CAAA;AAED,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAClD;IACI,GAAG,mBAAmB;IACtB,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAChC,cAAc,EAAE,IAAI;CACvB,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,iHAAiH;CACxH,CACJ,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CACvC,CAAC,yBAAyB,EAAE,2BAA2B,CAAC,EACxD;IACI,WAAW,EACP,+HAA+H;CACtI,CACJ,CAAA"}

package/package.json CHANGED Viewed

@@ -1,6 +1,6 @@
 {
   "name": "@proposit/proposit-core",
-  "version": "4.1.0",
+  "version": "5.0.0",
   "description": "Core engine for building and manipulating propositional logic arguments.",
   "license": "MIT",
   "keywords": [