@stevenvo780/st-lang 4.8.0 → 4.10.0

package/dist/tests/tooling/exporters/lean4/lean4-exporter.test.js

@@ -0,0 +1,473 @@
+"use strict";
+// ============================================================
+// Tests — Lean 4 exporter (classical profile)
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const lean4_1 = require("../../../../tooling/exporters/lean4");
+// ----------------------------------------------------------------
+// Formula builder helpers (mirrors coq-exporter.test.ts)
+// ----------------------------------------------------------------
+function atom(name) {
+    return { kind: 'atom', name };
+}
+function implies(a, b) {
+    return { kind: 'implies', args: [a, b] };
+}
+function and(a, b) {
+    return { kind: 'and', args: [a, b] };
+}
+function or(a, b) {
+    return { kind: 'or', args: [a, b] };
+}
+function not(f) {
+    return { kind: 'not', args: [f] };
+}
+function iff(a, b) {
+    return { kind: 'biconditional', args: [a, b] };
+}
+function forall(variable, body) {
+    return { kind: 'forall', variable, args: [body] };
+}
+function exists(variable, body) {
+    return { kind: 'exists', variable, args: [body] };
+}
+function predicate(name, ...params) {
+    return { kind: 'predicate', name, params };
+}
+function top() {
+    return { kind: 'true' };
+}
+function bot() {
+    return { kind: 'false' };
+}
+// ----------------------------------------------------------------
+// Syntax checker helpers
+// ----------------------------------------------------------------
+function countOccurrences(str, sub) {
+    let count = 0;
+    let idx = 0;
+    while ((idx = str.indexOf(sub, idx)) !== -1) {
+        count++;
+        idx += sub.length;
+    }
+    return count;
+}
+function parensBalanced(code) {
+    let depth = 0;
+    for (const ch of code) {
+        if (ch === '(')
+            depth++;
+        else if (ch === ')')
+            depth--;
+        if (depth < 0)
+            return false;
+    }
+    return depth === 0;
+}
+function angleBracketsBalanced(code) {
+    const opens = countOccurrences(code, '⟨');
+    const closes = countOccurrences(code, '⟩');
+    return opens === closes;
+}
+function hasLeanStructure(code) {
+    return {
+        namespaceOpen: /^namespace\s+\w+/m.test(code),
+        namespaceClose: /^end\s+\w+/m.test(code),
+        theorem: code.includes('theorem'),
+        byBlock: code.includes(':= by'),
+    };
+}
+// ----------------------------------------------------------------
+// LEAN4_OPS map
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('LEAN4_OPS — Unicode operator mapping', () => {
+    (0, vitest_1.it)('maps and → ∧', () => {
+        (0, vitest_1.expect)(lean4_1.LEAN4_OPS.get('and')).toBe('∧');
+    });
+    (0, vitest_1.it)('maps or → ∨', () => {
+        (0, vitest_1.expect)(lean4_1.LEAN4_OPS.get('or')).toBe('∨');
+    });
+    (0, vitest_1.it)('maps implies → →', () => {
+        (0, vitest_1.expect)(lean4_1.LEAN4_OPS.get('implies')).toBe('→');
+    });
+    (0, vitest_1.it)('maps not → ¬', () => {
+        (0, vitest_1.expect)(lean4_1.LEAN4_OPS.get('not')).toBe('¬');
+    });
+    (0, vitest_1.it)('maps biconditional → ↔', () => {
+        (0, vitest_1.expect)(lean4_1.LEAN4_OPS.get('biconditional')).toBe('↔');
+    });
+    (0, vitest_1.it)('maps forall → ∀ and exists → ∃', () => {
+        (0, vitest_1.expect)(lean4_1.LEAN4_OPS.get('forall')).toBe('∀');
+        (0, vitest_1.expect)(lean4_1.LEAN4_OPS.get('exists')).toBe('∃');
+    });
+});
+// ----------------------------------------------------------------
+// formulaToLeanTerm unit tests
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('formulaToLeanTerm — connective mapping', () => {
+    (0, vitest_1.it)('atom → identifier', () => {
+        (0, vitest_1.expect)((0, lean4_1.formulaToLeanTerm)(atom('P'))).toBe('P');
+    });
+    (0, vitest_1.it)('⊤ → True', () => {
+        (0, vitest_1.expect)((0, lean4_1.formulaToLeanTerm)(top())).toBe('True');
+    });
+    (0, vitest_1.it)('⊥ → False', () => {
+        (0, vitest_1.expect)((0, lean4_1.formulaToLeanTerm)(bot())).toBe('False');
+    });
+    (0, vitest_1.it)('¬P contains ¬ glyph', () => {
+        const result = (0, lean4_1.formulaToLeanTerm)(not(atom('P')));
+        (0, vitest_1.expect)(result).toContain('¬');
+        (0, vitest_1.expect)(result).toContain('P');
+    });
+    (0, vitest_1.it)('P ∧ Q uses ∧ glyph (not /\\)', () => {
+        const result = (0, lean4_1.formulaToLeanTerm)(and(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(result).toContain('∧');
+        (0, vitest_1.expect)(result).not.toContain('/\\');
+    });
+    (0, vitest_1.it)('P ∨ Q uses ∨ glyph (not \\/)', () => {
+        const result = (0, lean4_1.formulaToLeanTerm)(or(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(result).toContain('∨');
+        (0, vitest_1.expect)(result).not.toContain('\\/');
+    });
+    (0, vitest_1.it)('P → Q uses → glyph (not ->)', () => {
+        const result = (0, lean4_1.formulaToLeanTerm)(implies(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(result).toContain('→');
+        (0, vitest_1.expect)(result).not.toContain('->');
+    });
+    (0, vitest_1.it)('P ↔ Q uses ↔ glyph', () => {
+        const result = (0, lean4_1.formulaToLeanTerm)(iff(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(result).toContain('↔');
+    });
+    (0, vitest_1.it)('∀x. φ uses ∀ + Prop binding', () => {
+        const result = (0, lean4_1.formulaToLeanTerm)(forall('x', atom('P')));
+        (0, vitest_1.expect)(result).toMatch(/∀ x : Prop/);
+    });
+    (0, vitest_1.it)('∃y. φ uses ∃ + Prop binding', () => {
+        const result = (0, lean4_1.formulaToLeanTerm)(exists('y', atom('Q')));
+        (0, vitest_1.expect)(result).toMatch(/∃ y : Prop/);
+    });
+    (0, vitest_1.it)('predicate P(x, y) → P x y', () => {
+        const result = (0, lean4_1.formulaToLeanTerm)(predicate('R', 'x', 'y'));
+        (0, vitest_1.expect)(result).toMatch(/R x y/);
+    });
+    (0, vitest_1.it)('predicate with no args → just name', () => {
+        (0, vitest_1.expect)((0, lean4_1.formulaToLeanTerm)(predicate('P'))).toBe('P');
+    });
+});
+// ----------------------------------------------------------------
+// exportToLean4 — P → P (identity)
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('exportToLean4 — P → P', () => {
+    const pImpliesP = implies(atom('P'), atom('P'));
+    (0, vitest_1.it)('produces valid Lean 4 output with namespace + theorem + by', () => {
+        const lean = (0, lean4_1.exportToLean4)(pImpliesP);
+        const struct = hasLeanStructure(lean);
+        (0, vitest_1.expect)(struct.namespaceOpen).toBe(true);
+        (0, vitest_1.expect)(struct.namespaceClose).toBe(true);
+        (0, vitest_1.expect)(struct.theorem).toBe(true);
+        (0, vitest_1.expect)(struct.byBlock).toBe(true);
+    });
+    (0, vitest_1.it)('has balanced parentheses and ⟨⟩ brackets', () => {
+        const lean = (0, lean4_1.exportToLean4)(pImpliesP);
+        (0, vitest_1.expect)(parensBalanced(lean)).toBe(true);
+        (0, vitest_1.expect)(angleBracketsBalanced(lean)).toBe(true);
+    });
+    (0, vitest_1.it)('imports Mathlib.Tactic by default', () => {
+        const lean = (0, lean4_1.exportToLean4)(pImpliesP);
+        (0, vitest_1.expect)(lean).toContain('import Mathlib.Tactic');
+    });
+    (0, vitest_1.it)('uses default namespace STExport', () => {
+        const lean = (0, lean4_1.exportToLean4)(pImpliesP);
+        (0, vitest_1.expect)(lean).toContain('namespace STExport');
+        (0, vitest_1.expect)(lean).toContain('end STExport');
+    });
+    (0, vitest_1.it)('emits intro + exact tactics for identity', () => {
+        const lean = (0, lean4_1.exportToLean4)(pImpliesP);
+        (0, vitest_1.expect)(lean).toMatch(/intro\s+h/);
+        (0, vitest_1.expect)(lean).toMatch(/exact\s+h/);
+    });
+    (0, vitest_1.it)('definition contains → glyph (Lean implication)', () => {
+        const lean = (0, lean4_1.exportToLean4)(pImpliesP);
+        (0, vitest_1.expect)(lean).toContain('→');
+    });
+    (0, vitest_1.it)('uses := for the def assignment', () => {
+        const lean = (0, lean4_1.exportToLean4)(pImpliesP);
+        (0, vitest_1.expect)(lean).toMatch(/def stmt : Prop :=/);
+    });
+});
+// ----------------------------------------------------------------
+// exportToLean4 — (P ∧ Q) → P
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('exportToLean4 — (P ∧ Q) → P', () => {
+    const formula = implies(and(atom('P'), atom('Q')), atom('P'));
+    (0, vitest_1.it)('produces syntactically valid output', () => {
+        const lean = (0, lean4_1.exportToLean4)(formula);
+        const struct = hasLeanStructure(lean);
+        (0, vitest_1.expect)(struct.theorem).toBe(true);
+        (0, vitest_1.expect)(struct.byBlock).toBe(true);
+    });
+    (0, vitest_1.it)('has balanced parentheses', () => {
+        (0, vitest_1.expect)(parensBalanced((0, lean4_1.exportToLean4)(formula))).toBe(true);
+    });
+    (0, vitest_1.it)('contains ∧ for conjunction', () => {
+        (0, vitest_1.expect)((0, lean4_1.exportToLean4)(formula)).toContain('∧');
+    });
+    (0, vitest_1.it)('emits .left projection or And.left for conjunction elim', () => {
+        const lean = (0, lean4_1.exportToLean4)(formula);
+        (0, vitest_1.expect)(lean.includes('.left') || lean.includes('And.left')).toBe(true);
+    });
+});
+// ----------------------------------------------------------------
+// exportToLean4 — ∀x. P(x) → ∃y. P(y)
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('exportToLean4 — ∀x. P(x) → ∃y. P(y)', () => {
+    const formula = forall('x', implies(predicate('P', 'x'), exists('y', predicate('P', 'y'))));
+    (0, vitest_1.it)('produces syntactically valid output', () => {
+        const lean = (0, lean4_1.exportToLean4)(formula);
+        const struct = hasLeanStructure(lean);
+        (0, vitest_1.expect)(struct.theorem).toBe(true);
+        (0, vitest_1.expect)(struct.byBlock).toBe(true);
+    });
+    (0, vitest_1.it)('has balanced parens and ⟨⟩ brackets', () => {
+        const lean = (0, lean4_1.exportToLean4)(formula);
+        (0, vitest_1.expect)(parensBalanced(lean)).toBe(true);
+        (0, vitest_1.expect)(angleBracketsBalanced(lean)).toBe(true);
+    });
+    (0, vitest_1.it)('contains ∀ and ∃ glyphs', () => {
+        const lean = (0, lean4_1.exportToLean4)(formula);
+        (0, vitest_1.expect)(lean).toContain('∀');
+        (0, vitest_1.expect)(lean).toContain('∃');
+    });
+    (0, vitest_1.it)('contains predicate applications P x and P y', () => {
+        const lean = (0, lean4_1.exportToLean4)(formula);
+        (0, vitest_1.expect)(lean).toContain('P x');
+        (0, vitest_1.expect)(lean).toContain('P y');
+    });
+    (0, vitest_1.it)('uses anonymous constructor ⟨...⟩ for the existential witness', () => {
+        const lean = (0, lean4_1.exportToLean4)(formula);
+        (0, vitest_1.expect)(lean).toContain('⟨');
+        (0, vitest_1.expect)(lean).toContain('⟩');
+    });
+});
+// ----------------------------------------------------------------
+// exportToLean4 — LEM (P ∨ ¬P) uses Classical.em
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('exportToLean4 — LEM gets Classical.em', () => {
+    (0, vitest_1.it)('P ∨ ¬P emits Classical.em', () => {
+        const lem = or(atom('P'), not(atom('P')));
+        const lean = (0, lean4_1.exportToLean4)(lem);
+        (0, vitest_1.expect)(lean).toContain('Classical.em');
+    });
+    (0, vitest_1.it)('¬P ∨ P also handled via Classical.em', () => {
+        const lem = or(not(atom('P')), atom('P'));
+        const lean = (0, lean4_1.exportToLean4)(lem);
+        (0, vitest_1.expect)(lean).toContain('Classical.em');
+    });
+});
+// ----------------------------------------------------------------
+// Options
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('exportToLean4 — options', () => {
+    const f = implies(atom('A'), atom('B'));
+    (0, vitest_1.it)('omits imports when imports = []', () => {
+        const lean = (0, lean4_1.exportToLean4)(f, { imports: [] });
+        (0, vitest_1.expect)(lean).not.toContain('import');
+    });
+    (0, vitest_1.it)('omits Mathlib when useMathlib = false', () => {
+        const lean = (0, lean4_1.exportToLean4)(f, { useMathlib: false });
+        (0, vitest_1.expect)(lean).not.toContain('import Mathlib');
+    });
+    (0, vitest_1.it)('honors custom imports list', () => {
+        const lean = (0, lean4_1.exportToLean4)(f, { imports: ['Std.Tactic.Basic', 'Mathlib.Logic.Basic'] });
+        (0, vitest_1.expect)(lean).toContain('import Std.Tactic.Basic');
+        (0, vitest_1.expect)(lean).toContain('import Mathlib.Logic.Basic');
+    });
+    (0, vitest_1.it)('omits theorem block when emitProof = false', () => {
+        const lean = (0, lean4_1.exportToLean4)(f, { emitProof: false });
+        (0, vitest_1.expect)(lean).not.toContain('theorem');
+        (0, vitest_1.expect)(lean).not.toContain(':= by');
+    });
+    (0, vitest_1.it)('uses custom namespace name', () => {
+        const lean = (0, lean4_1.exportToLean4)(f, { moduleName: 'MyLogic' });
+        (0, vitest_1.expect)(lean).toContain('namespace MyLogic');
+        (0, vitest_1.expect)(lean).toContain('end MyLogic');
+    });
+});
+// ----------------------------------------------------------------
+// COMMON_IMPORTS presets
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('COMMON_IMPORTS presets', () => {
+    (0, vitest_1.it)('exposes minimal / standard / mathlib keys', () => {
+        (0, vitest_1.expect)(lean4_1.COMMON_IMPORTS).toHaveProperty('minimal');
+        (0, vitest_1.expect)(lean4_1.COMMON_IMPORTS).toHaveProperty('standard');
+        (0, vitest_1.expect)(lean4_1.COMMON_IMPORTS).toHaveProperty('mathlib');
+    });
+    (0, vitest_1.it)('mathlib preset includes Mathlib.Tactic', () => {
+        (0, vitest_1.expect)(lean4_1.COMMON_IMPORTS.mathlib).toContain('Mathlib.Tactic');
+    });
+    (0, vitest_1.it)('minimal preset is empty', () => {
+        (0, vitest_1.expect)(lean4_1.COMMON_IMPORTS.minimal).toEqual([]);
+    });
+});
+// ----------------------------------------------------------------
+// leanTacticForRule unit tests
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('leanTacticForRule — rule → tactic mapping', () => {
+    (0, vitest_1.it)('modus ponens → exact application', () => {
+        (0, vitest_1.expect)((0, lean4_1.leanTacticForRule)('modus ponens')).toMatch(/exact/);
+    });
+    (0, vitest_1.it)('implies intro → intro h', () => {
+        (0, vitest_1.expect)((0, lean4_1.leanTacticForRule)('implies intro')).toMatch(/intro/);
+    });
+    (0, vitest_1.it)('and intro → constructor', () => {
+        (0, vitest_1.expect)((0, lean4_1.leanTacticForRule)('and intro')).toContain('constructor');
+    });
+    (0, vitest_1.it)('and elim → obtain ⟨...⟩', () => {
+        const t = (0, lean4_1.leanTacticForRule)('and elim');
+        (0, vitest_1.expect)(t).toContain('obtain');
+        (0, vitest_1.expect)(t).toContain('⟨');
+    });
+    (0, vitest_1.it)('or intro left → left', () => {
+        (0, vitest_1.expect)((0, lean4_1.leanTacticForRule)('or intro left')).toBe('left');
+    });
+    (0, vitest_1.it)('lem → Classical.em', () => {
+        (0, vitest_1.expect)((0, lean4_1.leanTacticForRule)('lem')).toContain('Classical.em');
+    });
+    (0, vitest_1.it)('unknown rule → sorry placeholder', () => {
+        (0, vitest_1.expect)((0, lean4_1.leanTacticForRule)('zzz-not-a-rule')).toContain('sorry');
+    });
+});
+// ----------------------------------------------------------------
+// exportProofToLean4
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('exportProofToLean4 — with proof steps', () => {
+    const goal = implies(atom('P'), atom('P'));
+    const proof = {
+        goal,
+        status: 'complete',
+        steps: [
+            {
+                stepNumber: 1,
+                formula: atom('P'),
+                justification: 'premise',
+                premises: [],
+                source: 'premise',
+            },
+            {
+                stepNumber: 2,
+                formula: atom('P'),
+                justification: 'exact',
+                premises: [1],
+                source: 'goal',
+            },
+        ],
+    };
+    (0, vitest_1.it)('produces valid output from a Proof object', () => {
+        const lean = (0, lean4_1.exportProofToLean4)(proof);
+        const struct = hasLeanStructure(lean);
+        (0, vitest_1.expect)(struct.theorem).toBe(true);
+        (0, vitest_1.expect)(struct.byBlock).toBe(true);
+    });
+    (0, vitest_1.it)('has balanced parentheses', () => {
+        (0, vitest_1.expect)(parensBalanced((0, lean4_1.exportProofToLean4)(proof))).toBe(true);
+    });
+    (0, vitest_1.it)('mentions premise or assumption tactic', () => {
+        const lean = (0, lean4_1.exportProofToLean4)(proof);
+        (0, vitest_1.expect)(lean.toLowerCase().includes('premise') || lean.includes('assumption')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('exportProofToLean4 — incomplete proof falls back to sorry', () => {
+    const goal = implies(atom('A'), atom('B'));
+    const proof = {
+        goal,
+        status: 'incomplete',
+        steps: [],
+    };
+    (0, vitest_1.it)('emits sorry for incomplete proof', () => {
+        const lean = (0, lean4_1.exportProofToLean4)(proof);
+        (0, vitest_1.expect)(lean).toContain('sorry');
+    });
+    (0, vitest_1.it)('has balanced parentheses', () => {
+        (0, vitest_1.expect)(parensBalanced((0, lean4_1.exportProofToLean4)(proof))).toBe(true);
+    });
+});
+// ----------------------------------------------------------------
+// exportTheoryToLean4
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('exportTheoryToLean4 — axioms + theorems', () => {
+    const axioms = [implies(atom('A'), atom('B'))];
+    const theorems = [
+        implies(atom('P'), atom('P')),
+        implies(and(atom('X'), atom('Y')), atom('X')),
+    ];
+    (0, vitest_1.it)('emits axiom declarations', () => {
+        const lean = (0, lean4_1.exportTheoryToLean4)(axioms, theorems);
+        (0, vitest_1.expect)(lean).toMatch(/axiom ax_1 :/);
+    });
+    (0, vitest_1.it)('emits a stmt + proof per theorem', () => {
+        const lean = (0, lean4_1.exportTheoryToLean4)(axioms, theorems);
+        (0, vitest_1.expect)(lean).toMatch(/def stmt_1 : Prop :=/);
+        (0, vitest_1.expect)(lean).toMatch(/def stmt_2 : Prop :=/);
+        (0, vitest_1.expect)(countOccurrences(lean, 'theorem stmt_')).toBe(2);
+    });
+    (0, vitest_1.it)('respects namespace + emitProof option', () => {
+        const lean = (0, lean4_1.exportTheoryToLean4)(axioms, theorems, { moduleName: 'Theory', emitProof: false });
+        (0, vitest_1.expect)(lean).toContain('namespace Theory');
+        (0, vitest_1.expect)(lean).not.toContain('theorem');
+    });
+});
+// ----------------------------------------------------------------
+// Snapshot stability
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('exportToLean4 — snapshot stability', () => {
+    (0, vitest_1.it)('P → P snapshot is stable', () => {
+        const lean = (0, lean4_1.exportToLean4)(implies(atom('P'), atom('P')));
+        (0, vitest_1.expect)(lean).toMatchSnapshot();
+    });
+    (0, vitest_1.it)('(P ∧ Q) → P snapshot is stable', () => {
+        const lean = (0, lean4_1.exportToLean4)(implies(and(atom('P'), atom('Q')), atom('P')));
+        (0, vitest_1.expect)(lean).toMatchSnapshot();
+    });
+    (0, vitest_1.it)('∀x. P(x) → ∃y. P(y) snapshot is stable', () => {
+        const lean = (0, lean4_1.exportToLean4)(forall('x', implies(predicate('P', 'x'), exists('y', predicate('P', 'y')))));
+        (0, vitest_1.expect)(lean).toMatchSnapshot();
+    });
+});
+// ----------------------------------------------------------------
+// Syntax linter: balanced glyphs + structural keywords
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('lean4 linter — structural checks', () => {
+    const formulas = [
+        ['P → P', implies(atom('P'), atom('P'))],
+        ['(P ∧ Q) → P', implies(and(atom('P'), atom('Q')), atom('P'))],
+        ['¬P ∨ P', or(not(atom('P')), atom('P'))],
+        ['P ↔ P', iff(atom('P'), atom('P'))],
+        ['⊤', top()],
+        ['⊥', bot()],
+        ['∀x. P(x)', forall('x', predicate('P', 'x'))],
+        ['∃y. Q(y)', exists('y', predicate('Q', 'y'))],
+    ];
+    for (const [label, formula] of formulas) {
+        (0, vitest_1.it)(`${label}: parentheses balanced`, () => {
+            (0, vitest_1.expect)(parensBalanced((0, lean4_1.exportToLean4)(formula))).toBe(true);
+        });
+        (0, vitest_1.it)(`${label}: ⟨⟩ brackets balanced`, () => {
+            (0, vitest_1.expect)(angleBracketsBalanced((0, lean4_1.exportToLean4)(formula))).toBe(true);
+        });
+        (0, vitest_1.it)(`${label}: contains theorem keyword`, () => {
+            (0, vitest_1.expect)((0, lean4_1.exportToLean4)(formula)).toContain('theorem');
+        });
+        (0, vitest_1.it)(`${label}: contains := by block`, () => {
+            (0, vitest_1.expect)((0, lean4_1.exportToLean4)(formula)).toContain(':= by');
+        });
+        (0, vitest_1.it)(`${label}: namespace open/close match`, () => {
+            const lean = (0, lean4_1.exportToLean4)(formula);
+            const openCount = countOccurrences(lean, 'namespace STExport');
+            const endCount = countOccurrences(lean, 'end STExport');
+            (0, vitest_1.expect)(openCount).toBe(1);
+            (0, vitest_1.expect)(endCount).toBe(1);
+        });
+    }
+});
+//# sourceMappingURL=lean4-exporter.test.js.map

package/dist/tests/tooling/exporters/lean4/lean4-exporter.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lean4-exporter.test.js","sourceRoot":"","sources":["../../../../../src/tests/tooling/exporters/lean4/lean4-exporter.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,8CAA8C;AAC9C,+DAA+D;;AAE/D,mCAA8C;AAC9C,+DAQ6C;AAG7C,mEAAmE;AACnE,yDAAyD;AACzD,mEAAmE;AAEnE,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AACD,SAAS,OAAO,CAAC,CAAU,EAAE,CAAU;IACrC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AACD,SAAS,GAAG,CAAC,CAAU,EAAE,CAAU;IACjC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACvC,CAAC;AACD,SAAS,EAAE,CAAC,CAAU,EAAE,CAAU;IAChC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACtC,CAAC;AACD,SAAS,GAAG,CAAC,CAAU;IACrB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACpC,CAAC;AACD,SAAS,GAAG,CAAC,CAAU,EAAE,CAAU;IACjC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACjD,CAAC;AACD,SAAS,MAAM,CAAC,QAAgB,EAAE,IAAa;IAC7C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;AACpD,CAAC;AACD,SAAS,MAAM,CAAC,QAAgB,EAAE,IAAa;IAC7C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;AACpD,CAAC;AACD,SAAS,SAAS,CAAC,IAAY,EAAE,GAAG,MAAgB;IAClD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC7C,CAAC;AACD,SAAS,GAAG;IACV,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AACD,SAAS,GAAG;IACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC;AAED,mEAAmE;AACnE,yBAAyB;AACzB,mEAAmE;AAEnE,SAAS,gBAAgB,CAAC,GAAW,EAAE,GAAW;IAChD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OAAO,CAAC,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5C,KAAK,EAAE,CAAC;QACR,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC;IACpB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACtB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACnB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QAC7B,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,KAAK,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAY;IACzC,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,OAAO,KAAK,KAAK,MAAM,CAAC;AAC1B,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY;IAMpC,OAAO;QACL,aAAa,EAAE,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7C,cAAc,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;QACxC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;QACjC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;KAChC,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,gBAAgB;AAChB,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,IAAA,eAAM,EAAC,iBAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,IAAA,eAAM,EAAC,iBAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,iBAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,IAAA,eAAM,EAAC,iBAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,iBAAS,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,iBAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,iBAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,+BAA+B;AAC/B,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,yBAAiB,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,UAAU,EAAE,GAAG,EAAE;QAClB,IAAA,eAAM,EAAC,IAAA,yBAAiB,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,yBAAiB,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,MAAM,GAAG,IAAA,yBAAiB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,MAAM,GAAG,IAAA,yBAAiB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,MAAM,GAAG,IAAA,yBAAiB,EAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,MAAM,GAAG,IAAA,yBAAiB,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,MAAM,GAAG,IAAA,yBAAiB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,MAAM,GAAG,IAAA,yBAAiB,EAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,MAAM,GAAG,IAAA,yBAAiB,EAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAG,IAAA,yBAAiB,EAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,IAAA,yBAAiB,EAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,mCAAmC;AACnC,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAEhD,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,SAAS,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,SAAS,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,SAAS,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,SAAS,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,SAAS,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,SAAS,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,SAAS,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,8BAA8B;AAC9B,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAE9D,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,OAAO,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,cAAc,CAAC,IAAA,qBAAa,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,qBAAa,EAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,sCAAsC;AACtC,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5F,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,OAAO,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,iDAAiD;AACjD,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,UAAU;AACV,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAExC,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,kBAAkB,EAAE,qBAAqB,CAAC,EAAE,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,4BAA4B,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,CAAC,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,yBAAyB;AACzB,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,sBAAc,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,sBAAc,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,sBAAc,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,sBAAc,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,sBAAc,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,+BAA+B;AAC/B,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,yBAAiB,EAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,IAAA,yBAAiB,EAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,IAAA,yBAAiB,EAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,yBAAiB,EAAC,UAAU,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,yBAAiB,EAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,IAAA,yBAAiB,EAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,yBAAiB,EAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,qBAAqB;AACrB,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAE3C,MAAM,KAAK,GAAU;QACnB,IAAI;QACJ,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE;YACL;gBACE,UAAU,EAAE,CAAC;gBACb,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC;gBAClB,aAAa,EAAE,SAAS;gBACxB,QAAQ,EAAE,EAAE;gBACZ,MAAM,EAAE,SAAS;aAClB;YACD;gBACE,UAAU,EAAE,CAAC;gBACb,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC;gBAClB,aAAa,EAAE,OAAO;gBACtB,QAAQ,EAAE,CAAC,CAAC,CAAC;gBACb,MAAM,EAAE,MAAM;aACf;SACF;KACF,CAAC;IAEF,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,IAAA,0BAAkB,EAAC,KAAK,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,cAAc,CAAC,IAAA,0BAAkB,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,IAAA,0BAAkB,EAAC,KAAK,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2DAA2D,EAAE,GAAG,EAAE;IACzE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAU;QACnB,IAAI;QACJ,MAAM,EAAE,YAAY;QACpB,KAAK,EAAE,EAAE;KACV,CAAC;IAEF,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,IAAI,GAAG,IAAA,0BAAkB,EAAC,KAAK,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,cAAc,CAAC,IAAA,0BAAkB,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,sBAAsB;AACtB,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,MAAM,MAAM,GAAc,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAc;QAC1B,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;KAC9C,CAAC;IAEF,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,IAAI,GAAG,IAAA,2BAAmB,EAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,IAAI,GAAG,IAAA,2BAAmB,EAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,gBAAgB,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,IAAA,2BAAmB,EAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/F,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,qBAAqB;AACrB,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAG,IAAA,qBAAa,EACxB,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAC5E,CAAC;QACF,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,uDAAuD;AACvD,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,MAAM,QAAQ,GAA6B;QACzC,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,CAAC,aAAa,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9D,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;QACZ,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;QACZ,CAAC,UAAU,EAAE,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC,UAAU,EAAE,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;KAC/C,CAAC;IAEF,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QACxC,IAAA,WAAE,EAAC,GAAG,KAAK,wBAAwB,EAAE,GAAG,EAAE;YACxC,IAAA,eAAM,EAAC,cAAc,CAAC,IAAA,qBAAa,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,KAAK,wBAAwB,EAAE,GAAG,EAAE;YACxC,IAAA,eAAM,EAAC,qBAAqB,CAAC,IAAA,qBAAa,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,KAAK,4BAA4B,EAAE,GAAG,EAAE;YAC5C,IAAA,eAAM,EAAC,IAAA,qBAAa,EAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,KAAK,wBAAwB,EAAE,GAAG,EAAE;YACxC,IAAA,eAAM,EAAC,IAAA,qBAAa,EAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,KAAK,8BAA8B,EAAE,GAAG,EAAE;YAC9C,MAAM,IAAI,GAAG,IAAA,qBAAa,EAAC,OAAO,CAAC,CAAC;YACpC,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;YAC/D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;YACxD,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/tests/tooling/mathlib/mathlib.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=mathlib.test.d.ts.map

package/dist/tests/tooling/mathlib/mathlib.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mathlib.test.d.ts","sourceRoot":"","sources":["../../../../src/tests/tooling/mathlib/mathlib.test.ts"],"names":[],"mappings":""}