@stevenvo780/st-lang 4.5.2 → 4.6.0

package/dist/tests/hindley-milner/hindley-milner.test.js

@@ -0,0 +1,327 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const hindley_milner_1 = require("../../hindley-milner");
+(0, vitest_1.beforeEach)(() => {
+    (0, hindley_milner_1.resetFreshSupply)();
+});
+function unwrap(r) {
+    if ((0, hindley_milner_1.isInferError)(r))
+        throw new Error(`unexpected inference error: ${r.error}`);
+    return r;
+}
+function principalTypeStr(expr) {
+    const r = (0, hindley_milner_1.inferScheme)(expr);
+    if ('error' in r)
+        throw new Error(`inference failed: ${r.error}`);
+    return (0, hindley_milner_1.schemeToString)((0, hindley_milner_1.normalizeScheme)(r.scheme));
+}
+// =============================================================
+// 1. Unificación
+// =============================================================
+(0, vitest_1.describe)('Hindley-Milner / unify', () => {
+    (0, vitest_1.it)('unifica una tvar con cualquier tipo (binding directo)', () => {
+        const r = (0, hindley_milner_1.unify)((0, hindley_milner_1.tVar)('a'), hindley_milner_1.TInt);
+        (0, vitest_1.expect)((0, hindley_milner_1.isUnifyError)(r)).toBe(false);
+        if ((0, hindley_milner_1.isUnifyError)(r))
+            return;
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)((0, hindley_milner_1.tVar)('a'), r)).toEqual(hindley_milner_1.TInt);
+    });
+    (0, vitest_1.it)('unifica dos tvars distintas creando un alias', () => {
+        const r = (0, hindley_milner_1.unify)((0, hindley_milner_1.tVar)('a'), (0, hindley_milner_1.tVar)('b'));
+        (0, vitest_1.expect)((0, hindley_milner_1.isUnifyError)(r)).toBe(false);
+        if ((0, hindley_milner_1.isUnifyError)(r))
+            return;
+        // tras la unif, a y b son el mismo (uno apunta al otro).
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)((0, hindley_milner_1.tVar)('a'), r)).toEqual((0, hindley_milner_1.applySubst)((0, hindley_milner_1.tVar)('b'), r));
+    });
+    (0, vitest_1.it)('unifica dos type-constructors iguales con args compatibles', () => {
+        const r = (0, hindley_milner_1.unify)((0, hindley_milner_1.tApp)('List', (0, hindley_milner_1.tVar)('a')), (0, hindley_milner_1.tApp)('List', hindley_milner_1.TInt));
+        if ((0, hindley_milner_1.isUnifyError)(r))
+            throw new Error(r.error);
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)((0, hindley_milner_1.tVar)('a'), r)).toEqual(hindley_milner_1.TInt);
+    });
+    (0, vitest_1.it)('falla al unificar constructores distintos', () => {
+        const r = (0, hindley_milner_1.unify)((0, hindley_milner_1.tConst)('Int'), (0, hindley_milner_1.tConst)('Bool'));
+        (0, vitest_1.expect)((0, hindley_milner_1.isUnifyError)(r)).toBe(true);
+        if (!(0, hindley_milner_1.isUnifyError)(r))
+            return;
+        (0, vitest_1.expect)(r.error).toMatch(/Int.*Bool|Bool.*Int/);
+    });
+    (0, vitest_1.it)('falla con arity mismatch en tapp', () => {
+        const r = (0, hindley_milner_1.unify)((0, hindley_milner_1.tApp)('Pair', (0, hindley_milner_1.tVar)('a'), (0, hindley_milner_1.tVar)('b')), (0, hindley_milner_1.tApp)('Pair', hindley_milner_1.TInt));
+        (0, vitest_1.expect)((0, hindley_milner_1.isUnifyError)(r)).toBe(true);
+    });
+    (0, vitest_1.it)('detecta occurs check (tipo infinito) en α = α → α', () => {
+        const r = (0, hindley_milner_1.unify)((0, hindley_milner_1.tVar)('a'), (0, hindley_milner_1.tArrow)((0, hindley_milner_1.tVar)('a'), (0, hindley_milner_1.tVar)('a')));
+        (0, vitest_1.expect)((0, hindley_milner_1.isUnifyError)(r)).toBe(true);
+        if (!(0, hindley_milner_1.isUnifyError)(r))
+            return;
+        (0, vitest_1.expect)(r.error.toLowerCase()).toContain('occurs');
+    });
+    (0, vitest_1.it)('unifica arrows recursivamente y propaga sustituciones', () => {
+        // (a -> Int)  ≡  (Bool -> b)  ⇒  a := Bool, b := Int
+        const r = (0, hindley_milner_1.unify)((0, hindley_milner_1.tArrow)((0, hindley_milner_1.tVar)('a'), hindley_milner_1.TInt), (0, hindley_milner_1.tArrow)(hindley_milner_1.TBool, (0, hindley_milner_1.tVar)('b')));
+        if ((0, hindley_milner_1.isUnifyError)(r))
+            throw new Error(r.error);
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)((0, hindley_milner_1.tVar)('a'), r)).toEqual(hindley_milner_1.TBool);
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)((0, hindley_milner_1.tVar)('b'), r)).toEqual(hindley_milner_1.TInt);
+    });
+    (0, vitest_1.it)('composeSubsts mantiene transitividad: {a→b} ∘ {b→Int} ⇒ a→Int', () => {
+        const s1 = new Map([['a', (0, hindley_milner_1.tVar)('b')]]);
+        const s2 = new Map([['b', hindley_milner_1.TInt]]);
+        // composeSubsts(s, t) = primero t, luego s. Queremos primero s1 (a→b)
+        // luego s2 (b→Int): composeSubsts(s2, s1).
+        const c = (0, hindley_milner_1.composeSubsts)(s2, s1);
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)((0, hindley_milner_1.tVar)('a'), c)).toEqual(hindley_milner_1.TInt);
+    });
+    (0, vitest_1.it)('occursIn detecta variable dentro de un tapp', () => {
+        (0, vitest_1.expect)((0, hindley_milner_1.occursIn)('a', (0, hindley_milner_1.tApp)('List', (0, hindley_milner_1.tArrow)((0, hindley_milner_1.tVar)('a'), hindley_milner_1.TInt)))).toBe(true);
+        (0, vitest_1.expect)((0, hindley_milner_1.occursIn)('a', (0, hindley_milner_1.tApp)('List', hindley_milner_1.TInt))).toBe(false);
+    });
+});
+// =============================================================
+// 2. Algoritmo W — casos canónicos
+// =============================================================
+(0, vitest_1.describe)('Hindley-Milner / inferencia', () => {
+    (0, vitest_1.it)('identidad: λx. x  infiere  ∀a. a -> a', () => {
+        const expr = (0, hindley_milner_1.eLam)('x', (0, hindley_milner_1.eVar)('x'));
+        (0, vitest_1.expect)(principalTypeStr(expr)).toBe('forall a. a -> a');
+    });
+    (0, vitest_1.it)('K combinator: λx. λy. x  infiere  ∀a b. a -> b -> a', () => {
+        const expr = (0, hindley_milner_1.eLam)('x', (0, hindley_milner_1.eLam)('y', (0, hindley_milner_1.eVar)('x')));
+        (0, vitest_1.expect)(principalTypeStr(expr)).toBe('forall a b. a -> b -> a');
+    });
+    (0, vitest_1.it)('S combinator: λf. λg. λx. f x (g x)  infiere correctamente', () => {
+        // tipo principal: (a -> b -> c) -> (a -> b) -> a -> c
+        const expr = (0, hindley_milner_1.eLam)('f', (0, hindley_milner_1.eLam)('g', (0, hindley_milner_1.eLam)('x', (0, hindley_milner_1.eApp)((0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('f'), (0, hindley_milner_1.eVar)('x')), (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('g'), (0, hindley_milner_1.eVar)('x'))))));
+        (0, vitest_1.expect)(principalTypeStr(expr)).toBe('forall a b c. (a -> b -> c) -> (a -> b) -> a -> c');
+    });
+    (0, vitest_1.it)('let-poly: let id = λx. x in id 5  infiere  Int', () => {
+        const expr = (0, hindley_milner_1.eLet)('id', (0, hindley_milner_1.eLam)('x', (0, hindley_milner_1.eVar)('x')), (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('id'), (0, hindley_milner_1.eLit)(5)));
+        const r = unwrap((0, hindley_milner_1.infer)(expr));
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)(r.type, r.subst)).toEqual(hindley_milner_1.TInt);
+    });
+    (0, vitest_1.it)('let-poly: id usado en dos tipos en el mismo cuerpo', () => {
+        // let id = λx.x in pair (id 5) (id true)  ⇒  Pair Int Bool
+        const expr = (0, hindley_milner_1.eLet)('id', (0, hindley_milner_1.eLam)('x', (0, hindley_milner_1.eVar)('x')), (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('pair'), (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('id'), (0, hindley_milner_1.eLit)(5)), (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('id'), (0, hindley_milner_1.eVar)('true'))));
+        (0, vitest_1.expect)(principalTypeStr(expr)).toBe('Pair Int Bool');
+    });
+    (0, vitest_1.it)('SIN let-poly el mismo programa NO tipa con λ: (λid. ...) (λx.x)', () => {
+        // Esto NO funcionaría con let-poly desactivado:
+        //   (λid. pair (id 5) (id true)) (λx.x)
+        // porque el parámetro id es monomórfico (un λ no generaliza).
+        // Comprueba que efectivamente falla.
+        const expr = (0, hindley_milner_1.eApp)((0, hindley_milner_1.eLam)('id', (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('pair'), (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('id'), (0, hindley_milner_1.eLit)(5)), (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('id'), (0, hindley_milner_1.eVar)('true')))), (0, hindley_milner_1.eLam)('x', (0, hindley_milner_1.eVar)('x')));
+        const r = (0, hindley_milner_1.infer)(expr);
+        (0, vitest_1.expect)((0, hindley_milner_1.isInferError)(r)).toBe(true);
+    });
+    (0, vitest_1.it)('aritmética: 5 + 3  infiere  Int', () => {
+        const expr = (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('+'), (0, hindley_milner_1.eLit)(5), (0, hindley_milner_1.eLit)(3));
+        const r = unwrap((0, hindley_milner_1.infer)(expr));
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)(r.type, r.subst)).toEqual(hindley_milner_1.TInt);
+    });
+    (0, vitest_1.it)('aritmética sobre booleano falla: true + 1', () => {
+        const expr = (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('+'), (0, hindley_milner_1.eVar)('true'), (0, hindley_milner_1.eLit)(1));
+        const r = (0, hindley_milner_1.infer)(expr);
+        (0, vitest_1.expect)((0, hindley_milner_1.isInferError)(r)).toBe(true);
+    });
+    (0, vitest_1.it)('comparador polimórfico: λa. a == a  infiere  ∀α. α -> Bool', () => {
+        const expr = (0, hindley_milner_1.eLam)('x', (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('=='), (0, hindley_milner_1.eVar)('x'), (0, hindley_milner_1.eVar)('x')));
+        (0, vitest_1.expect)(principalTypeStr(expr)).toBe('forall a. a -> Bool');
+    });
+    (0, vitest_1.it)('if booleano: if true then 1 else 2  infiere  Int', () => {
+        const expr = (0, hindley_milner_1.eIf)((0, hindley_milner_1.eVar)('true'), (0, hindley_milner_1.eLit)(1), (0, hindley_milner_1.eLit)(2));
+        const r = unwrap((0, hindley_milner_1.infer)(expr));
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)(r.type, r.subst)).toEqual(hindley_milner_1.TInt);
+    });
+    (0, vitest_1.it)('if con condición no-booleana falla', () => {
+        const expr = (0, hindley_milner_1.eIf)((0, hindley_milner_1.eLit)(1), (0, hindley_milner_1.eLit)(1), (0, hindley_milner_1.eLit)(2));
+        const r = (0, hindley_milner_1.infer)(expr);
+        (0, vitest_1.expect)((0, hindley_milner_1.isInferError)(r)).toBe(true);
+        if (!(0, hindley_milner_1.isInferError)(r))
+            return;
+        (0, vitest_1.expect)(r.error.toLowerCase()).toContain('bool');
+    });
+    (0, vitest_1.it)('if con ramas de tipos distintos falla', () => {
+        const expr = (0, hindley_milner_1.eIf)((0, hindley_milner_1.eVar)('true'), (0, hindley_milner_1.eLit)(1), (0, hindley_milner_1.eVar)('true'));
+        const r = (0, hindley_milner_1.infer)(expr);
+        (0, vitest_1.expect)((0, hindley_milner_1.isInferError)(r)).toBe(true);
+        if (!(0, hindley_milner_1.isInferError)(r))
+            return;
+        (0, vitest_1.expect)(r.error.toLowerCase()).toMatch(/branches|cannot unify/);
+    });
+    (0, vitest_1.it)('aplicación parcial: (+) 5  infiere  Int -> Int', () => {
+        const expr = (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('+'), (0, hindley_milner_1.eLit)(5));
+        const r = unwrap((0, hindley_milner_1.infer)(expr));
+        (0, vitest_1.expect)((0, hindley_milner_1.typeToString)((0, hindley_milner_1.applySubst)(r.type, r.subst))).toBe('Int -> Int');
+    });
+});
+// =============================================================
+// 3. Errores: variable libre, ocurrencia, etc.
+// =============================================================
+(0, vitest_1.describe)('Hindley-Milner / errores', () => {
+    (0, vitest_1.it)('variable no ligada falla con mensaje claro', () => {
+        const expr = (0, hindley_milner_1.eVar)('xyz');
+        const r = (0, hindley_milner_1.infer)(expr);
+        (0, vitest_1.expect)((0, hindley_milner_1.isInferError)(r)).toBe(true);
+        if (!(0, hindley_milner_1.isInferError)(r))
+            return;
+        (0, vitest_1.expect)(r.error).toContain('xyz');
+    });
+    (0, vitest_1.it)('occurs-check vía λx. x x rechaza el término', () => {
+        const expr = (0, hindley_milner_1.eLam)('x', (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('x'), (0, hindley_milner_1.eVar)('x')));
+        const r = (0, hindley_milner_1.infer)(expr);
+        (0, vitest_1.expect)((0, hindley_milner_1.isInferError)(r)).toBe(true);
+        if (!(0, hindley_milner_1.isInferError)(r))
+            return;
+        (0, vitest_1.expect)(r.error.toLowerCase()).toMatch(/occurs|infinite|cannot unify/);
+    });
+    (0, vitest_1.it)('omega = (λx. x x) (λx. x x) rechaza por occurs', () => {
+        const omega = (0, hindley_milner_1.eApp)((0, hindley_milner_1.eLam)('x', (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('x'), (0, hindley_milner_1.eVar)('x'))), (0, hindley_milner_1.eLam)('x', (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('x'), (0, hindley_milner_1.eVar)('x'))));
+        const r = (0, hindley_milner_1.infer)(omega);
+        (0, vitest_1.expect)((0, hindley_milner_1.isInferError)(r)).toBe(true);
+    });
+    (0, vitest_1.it)('aplicación a no-función falla', () => {
+        const expr = (0, hindley_milner_1.eApp)((0, hindley_milner_1.eLit)(5), (0, hindley_milner_1.eLit)(3));
+        const r = (0, hindley_milner_1.infer)(expr);
+        (0, vitest_1.expect)((0, hindley_milner_1.isInferError)(r)).toBe(true);
+    });
+});
+// =============================================================
+// 4. letRec — definiciones recursivas y mutuamente recursivas
+// =============================================================
+(0, vitest_1.describe)('Hindley-Milner / letRec', () => {
+    (0, vitest_1.it)('factorial recursivo via letRec: fact 5 tipea como Int', () => {
+        // letRec fact = λn. if n == 0 then 1 else n * (fact (n - 1)) in fact 5
+        const fact = (0, hindley_milner_1.eLam)('n', (0, hindley_milner_1.eIf)((0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('=='), (0, hindley_milner_1.eVar)('n'), (0, hindley_milner_1.eLit)(0)), (0, hindley_milner_1.eLit)(1), (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('*'), (0, hindley_milner_1.eVar)('n'), (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('fact'), (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('-'), (0, hindley_milner_1.eVar)('n'), (0, hindley_milner_1.eLit)(1))))));
+        const program = (0, hindley_milner_1.eLetRec)([{ name: 'fact', body: fact }], (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('fact'), (0, hindley_milner_1.eLit)(5)));
+        const r = unwrap((0, hindley_milner_1.infer)(program));
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)(r.type, r.subst)).toEqual(hindley_milner_1.TInt);
+    });
+    (0, vitest_1.it)('letRec con función genérica de listas: length tipea  ∀a. List a -> Int', () => {
+        // letRec length = λxs. if isEmpty xs then 0 else 1 + length (tail xs)
+        const length = (0, hindley_milner_1.eLam)('xs', (0, hindley_milner_1.eIf)((0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('isEmpty'), (0, hindley_milner_1.eVar)('xs')), (0, hindley_milner_1.eLit)(0), (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('+'), (0, hindley_milner_1.eLit)(1), (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('length'), (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('tail'), (0, hindley_milner_1.eVar)('xs'))))));
+        const program = (0, hindley_milner_1.eLetRec)([{ name: 'length', body: length }], (0, hindley_milner_1.eVar)('length'));
+        (0, vitest_1.expect)(principalTypeStr(program)).toBe('forall a. List a -> Int');
+    });
+    (0, vitest_1.it)('letRec mutuamente recursivo: even/odd tipean Int -> Bool', () => {
+        const even = (0, hindley_milner_1.eLam)('n', (0, hindley_milner_1.eIf)((0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('=='), (0, hindley_milner_1.eVar)('n'), (0, hindley_milner_1.eLit)(0)), (0, hindley_milner_1.eVar)('true'), (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('odd'), (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('-'), (0, hindley_milner_1.eVar)('n'), (0, hindley_milner_1.eLit)(1)))));
+        const odd = (0, hindley_milner_1.eLam)('n', (0, hindley_milner_1.eIf)((0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('=='), (0, hindley_milner_1.eVar)('n'), (0, hindley_milner_1.eLit)(0)), (0, hindley_milner_1.eVar)('false'), (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('even'), (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('-'), (0, hindley_milner_1.eVar)('n'), (0, hindley_milner_1.eLit)(1)))));
+        const program = (0, hindley_milner_1.eLetRec)([
+            { name: 'even', body: even },
+            { name: 'odd', body: odd },
+        ], (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('even'), (0, hindley_milner_1.eLit)(10)));
+        const r = unwrap((0, hindley_milner_1.infer)(program));
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)(r.type, r.subst)).toEqual(hindley_milner_1.TBool);
+    });
+});
+// =============================================================
+// 5. generalize / instantiate — semánticamente correctos
+// =============================================================
+(0, vitest_1.describe)('Hindley-Milner / generalize & instantiate', () => {
+    (0, vitest_1.it)('generalize cuantifica solo lo que no está en el entorno', () => {
+        // Entorno: { x : a }   (a aparece libre).
+        // Tipo a generalizar: a -> b.
+        // Esperamos: ∀b. a -> b (la `a` queda libre).
+        const env = new hindley_milner_1.TypeEnv(new Map([['x', (0, hindley_milner_1.mono)((0, hindley_milner_1.tVar)('a'))]]));
+        const sc = (0, hindley_milner_1.generalize)(env.freeVars(), (0, hindley_milner_1.tArrow)((0, hindley_milner_1.tVar)('a'), (0, hindley_milner_1.tVar)('b')));
+        (0, vitest_1.expect)(sc.forall).toEqual(['b']);
+    });
+    (0, vitest_1.it)('instantiate produce variables frescas distintas a las del esquema', () => {
+        (0, hindley_milner_1.resetFreshSupply)();
+        const sc = (0, hindley_milner_1.scheme)(['a'], (0, hindley_milner_1.tArrow)((0, hindley_milner_1.tVar)('a'), (0, hindley_milner_1.tVar)('a')));
+        const t1 = (0, hindley_milner_1.instantiate)(sc);
+        const t2 = (0, hindley_milner_1.instantiate)(sc);
+        // Dos instanciaciones distintas → tvars distintas.
+        (0, vitest_1.expect)(t1).not.toEqual(t2);
+        // Pero ambas siguen siendo "α → α" para alguna α.
+        if (t1.kind !== 'arrow' || t1.from.kind !== 'tvar')
+            throw new Error('shape');
+        (0, vitest_1.expect)(t1.from).toEqual(t1.to);
+    });
+    (0, vitest_1.it)('preserva principalidad: id usado dos veces produce el mismo esquema interno', () => {
+        // Damas-Milner: si el tipo principal de `λx.x` es ∀a. a→a, instanciar dos
+        // veces y unificar con Int y Bool no debe contaminar la otra instancia.
+        const expr = (0, hindley_milner_1.eLet)('id', (0, hindley_milner_1.eLam)('x', (0, hindley_milner_1.eVar)('x')), (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('pair'), (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('id'), (0, hindley_milner_1.eLit)(5)), (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('id'), (0, hindley_milner_1.eVar)('true'))));
+        (0, vitest_1.expect)(principalTypeStr(expr)).toBe('Pair Int Bool');
+    });
+});
+// =============================================================
+// 6. Tipos compuestos: pair, listas
+// =============================================================
+(0, vitest_1.describe)('Hindley-Milner / tipos compuestos', () => {
+    (0, vitest_1.it)('pair 1 true  infiere  Pair Int Bool', () => {
+        const expr = (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('pair'), (0, hindley_milner_1.eLit)(1), (0, hindley_milner_1.eVar)('true'));
+        (0, vitest_1.expect)(principalTypeStr(expr)).toBe('Pair Int Bool');
+    });
+    (0, vitest_1.it)('cons 1 nil  infiere  List Int', () => {
+        const expr = (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('cons'), (0, hindley_milner_1.eLit)(1), (0, hindley_milner_1.eVar)('nil'));
+        (0, vitest_1.expect)(principalTypeStr(expr)).toBe('List Int');
+    });
+    (0, vitest_1.it)('mezclar tipos de lista falla: cons 1 (cons true nil)', () => {
+        const expr = (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('cons'), (0, hindley_milner_1.eLit)(1), (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('cons'), (0, hindley_milner_1.eVar)('true'), (0, hindley_milner_1.eVar)('nil')));
+        const r = (0, hindley_milner_1.infer)(expr);
+        (0, vitest_1.expect)((0, hindley_milner_1.isInferError)(r)).toBe(true);
+    });
+    (0, vitest_1.it)('fst (pair 1 true)  infiere  Int', () => {
+        const expr = (0, hindley_milner_1.eApp)((0, hindley_milner_1.eVar)('fst'), (0, hindley_milner_1.eAppN)((0, hindley_milner_1.eVar)('pair'), (0, hindley_milner_1.eLit)(1), (0, hindley_milner_1.eVar)('true')));
+        const r = unwrap((0, hindley_milner_1.infer)(expr));
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)(r.type, r.subst)).toEqual(hindley_milner_1.TInt);
+    });
+    (0, vitest_1.it)('literales producen sus tipos primitivos', () => {
+        (0, vitest_1.expect)(unwrap((0, hindley_milner_1.infer)((0, hindley_milner_1.eLit)(1))).type).toEqual(hindley_milner_1.TInt);
+        (0, vitest_1.expect)(unwrap((0, hindley_milner_1.infer)((0, hindley_milner_1.eLit)(true))).type).toEqual(hindley_milner_1.TBool);
+        (0, vitest_1.expect)(unwrap((0, hindley_milner_1.infer)((0, hindley_milner_1.eLit)('hello'))).type).toEqual(hindley_milner_1.TStr);
+    });
+});
+// =============================================================
+// 7. Sustituciones — propiedades
+// =============================================================
+(0, vitest_1.describe)('Hindley-Milner / sustituciones', () => {
+    (0, vitest_1.it)('applySubst es identidad sobre tipos cerrados', () => {
+        const s = new Map([['unused', hindley_milner_1.TInt]]);
+        const t = (0, hindley_milner_1.tArrow)(hindley_milner_1.TBool, (0, hindley_milner_1.tApp)('List', hindley_milner_1.TInt));
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)(t, s)).toEqual(t);
+    });
+    (0, vitest_1.it)('composeSubsts no permite que s2 sobrescriba claves de s1', () => {
+        const s1 = new Map([['a', hindley_milner_1.TInt]]);
+        const s2 = new Map([['a', hindley_milner_1.TBool]]);
+        // composeSubsts(s1, s2): primero s2 (a→Bool), luego s1 (a→Int aplicado a Bool).
+        // Bool no contiene `a`, así que queda Bool. La entrada de s1 que NO sobrescribe.
+        const c = (0, hindley_milner_1.composeSubsts)(s1, s2);
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)((0, hindley_milner_1.tVar)('a'), c)).toEqual(hindley_milner_1.TBool);
+    });
+    (0, vitest_1.it)('freshTypeVar produce nombres únicos consecutivos', () => {
+        (0, hindley_milner_1.resetFreshSupply)();
+        const a = (0, hindley_milner_1.freshTypeVar)('t');
+        const b = (0, hindley_milner_1.freshTypeVar)('t');
+        (0, vitest_1.expect)(a).not.toEqual(b);
+        if (a.kind !== 'tvar' || b.kind !== 'tvar')
+            throw new Error('shape');
+        (0, vitest_1.expect)(a.name).toBe('t0');
+        (0, vitest_1.expect)(b.name).toBe('t1');
+    });
+});
+// =============================================================
+// 8. Algoritmo W — propiedades a bajo nivel
+// =============================================================
+(0, vitest_1.describe)('Hindley-Milner / algorithmW directo', () => {
+    (0, vitest_1.it)('produce sustitución vacía para literales', () => {
+        const r = (0, hindley_milner_1.algorithmW)((0, hindley_milner_1.eLit)(42), (0, hindley_milner_1.initialEnv)());
+        (0, vitest_1.expect)((0, hindley_milner_1.isInferError)(r)).toBe(false);
+        if ((0, hindley_milner_1.isInferError)(r))
+            return;
+        (0, vitest_1.expect)(r.subst.size).toBe(0);
+        (0, vitest_1.expect)(r.type).toEqual(hindley_milner_1.TInt);
+    });
+    (0, vitest_1.it)('aplicar la sustitución al tipo de salida no cambia el resultado', () => {
+        // Algoritmo W: el `type` devuelto ya está bajo `subst`. Aplicar
+        // subst otra vez debería ser idempotente.
+        (0, hindley_milner_1.resetFreshSupply)();
+        const expr = (0, hindley_milner_1.eApp)((0, hindley_milner_1.eLam)('x', (0, hindley_milner_1.eVar)('x')), (0, hindley_milner_1.eLit)(5));
+        const r = unwrap((0, hindley_milner_1.infer)(expr));
+        (0, vitest_1.expect)((0, hindley_milner_1.applySubst)((0, hindley_milner_1.applySubst)(r.type, r.subst), r.subst)).toEqual((0, hindley_milner_1.applySubst)(r.type, r.subst));
+    });
+});
+//# sourceMappingURL=hindley-milner.test.js.map

package/dist/tests/hindley-milner/hindley-milner.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hindley-milner.test.js","sourceRoot":"","sources":["../../../src/tests/hindley-milner/hindley-milner.test.ts"],"names":[],"mappings":";;AAAA,mCAA0D;AAC1D,yDAsC8B;AAE9B,IAAA,mBAAU,EAAC,GAAG,EAAE;IACd,IAAA,iCAAgB,GAAE,CAAC;AACrB,CAAC,CAAC,CAAC;AAEH,SAAS,MAAM,CAAC,CAAe;IAC7B,IAAI,IAAA,6BAAY,EAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC/E,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAiC;IACzD,MAAM,CAAC,GAAG,IAAA,4BAAW,EAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,OAAO,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAClE,OAAO,IAAA,+BAAc,EAAC,IAAA,gCAAe,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,gEAAgE;AAChE,iBAAiB;AACjB,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,qBAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,IAAA,6BAAY,EAAC,CAAC,CAAC;YAAE,OAAO;QAC5B,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,IAAA,6BAAY,EAAC,CAAC,CAAC;YAAE,OAAO;QAC5B,yDAAyD;QACzD,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,2BAAU,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,MAAM,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,MAAM,EAAE,qBAAI,CAAC,CAAC,CAAC;QAC7D,IAAI,IAAA,6BAAY,EAAC,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAA,uBAAM,EAAC,KAAK,CAAC,EAAE,IAAA,uBAAM,EAAC,MAAM,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,IAAA,6BAAY,EAAC,CAAC,CAAC;YAAE,OAAO;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,MAAM,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,MAAM,EAAE,qBAAI,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,uBAAM,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,IAAA,6BAAY,EAAC,CAAC,CAAC;YAAE,OAAO;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,qDAAqD;QACrD,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAA,uBAAM,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,qBAAI,CAAC,EAAE,IAAA,uBAAM,EAAC,sBAAK,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,IAAA,6BAAY,EAAC,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,sBAAK,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,EAAE,GAAiB,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,EAAE,GAAiB,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,qBAAI,CAAC,CAAC,CAAC,CAAC;QAChD,sEAAsE;QACtE,2CAA2C;QAC3C,MAAM,CAAC,GAAG,IAAA,8BAAa,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,yBAAQ,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,MAAM,EAAE,IAAA,uBAAM,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,qBAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,yBAAQ,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,MAAM,EAAE,qBAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,mCAAmC;AACnC,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,IAAI,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,sDAAsD;QACtD,MAAM,IAAI,GAAG,IAAA,qBAAI,EACf,GAAG,EACH,IAAA,qBAAI,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACnF,CAAC;QACF,IAAA,eAAM,EAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,IAAI,GAAG,IAAA,qBAAI,EAAC,IAAI,EAAE,IAAA,qBAAI,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,IAAI,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,sBAAK,EAAC,IAAI,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,2DAA2D;QAC3D,MAAM,IAAI,GAAG,IAAA,qBAAI,EACf,IAAI,EACJ,IAAA,qBAAI,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,EACpB,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,IAAI,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,IAAI,CAAC,EAAE,IAAA,qBAAI,EAAC,MAAM,CAAC,CAAC,CAAC,CAC/E,CAAC;QACF,IAAA,eAAM,EAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,gDAAgD;QAChD,wCAAwC;QACxC,8DAA8D;QAC9D,qCAAqC;QACrC,MAAM,IAAI,GAAG,IAAA,qBAAI,EACf,IAAA,qBAAI,EAAC,IAAI,EAAE,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,IAAI,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,IAAI,CAAC,EAAE,IAAA,qBAAI,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAC1F,IAAA,qBAAI,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CACrB,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAI,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,sBAAK,EAAC,IAAI,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAI,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,IAAI,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,IAAI,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,IAAI,GAAG,IAAA,oBAAG,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,sBAAK,EAAC,IAAI,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,IAAI,GAAG,IAAA,oBAAG,EAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAI,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,IAAA,6BAAY,EAAC,CAAC,CAAC;YAAE,OAAO;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,IAAA,oBAAG,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,MAAM,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAI,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,IAAA,6BAAY,EAAC,CAAC,CAAC;YAAE,OAAO;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,IAAI,GAAG,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,sBAAK,EAAC,IAAI,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,IAAA,2BAAU,EAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,+CAA+C;AAC/C,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,IAAI,GAAG,IAAA,qBAAI,EAAC,KAAK,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAI,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,IAAA,6BAAY,EAAC,CAAC,CAAC;YAAE,OAAO;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAI,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,IAAA,6BAAY,EAAC,CAAC,CAAC;YAAE,OAAO;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,IAAA,qBAAI,EAChB,IAAA,qBAAI,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,EACrC,IAAA,qBAAI,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CACtC,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,KAAK,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,IAAI,GAAG,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAI,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,8DAA8D;AAC9D,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,uEAAuE;QACvE,MAAM,IAAI,GAAG,IAAA,qBAAI,EACf,GAAG,EACH,IAAA,oBAAG,EACD,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,IAAI,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,EACrC,IAAA,qBAAI,EAAC,CAAC,CAAC,EACP,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACtF,CACF,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,wBAAO,EAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrF,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,sBAAK,EAAC,OAAO,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,sEAAsE;QACtE,MAAM,MAAM,GAAG,IAAA,qBAAI,EACjB,IAAI,EACJ,IAAA,oBAAG,EACD,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,SAAS,CAAC,EAAE,IAAA,qBAAI,EAAC,IAAI,CAAC,CAAC,EACjC,IAAA,qBAAI,EAAC,CAAC,CAAC,EACP,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,QAAQ,CAAC,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAChF,CACF,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,wBAAO,EAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAA,qBAAI,EAAC,QAAQ,CAAC,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,IAAI,GAAG,IAAA,qBAAI,EACf,GAAG,EACH,IAAA,oBAAG,EACD,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,IAAI,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,EACrC,IAAA,qBAAI,EAAC,MAAM,CAAC,EACZ,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,KAAK,CAAC,EAAE,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CACxD,CACF,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,qBAAI,EACd,GAAG,EACH,IAAA,oBAAG,EACD,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,IAAI,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,EACrC,IAAA,qBAAI,EAAC,OAAO,CAAC,EACb,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CACzD,CACF,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,wBAAO,EACrB;YACE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE;YAC5B,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;SAC3B,EACD,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,EAAE,CAAC,CAAC,CAC7B,CAAC;QACF,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,sBAAK,EAAC,OAAO,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,sBAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,yDAAyD;AACzD,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,0CAA0C;QAC1C,8BAA8B;QAC9B,8CAA8C;QAC9C,MAAM,GAAG,GAAG,IAAI,wBAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,IAAA,2BAAU,EAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,IAAA,uBAAM,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,IAAA,iCAAgB,GAAE,CAAC;QACnB,MAAM,EAAE,GAAG,IAAA,uBAAM,EAAC,CAAC,GAAG,CAAC,EAAE,IAAA,uBAAM,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,EAAE,GAAG,IAAA,4BAAW,EAAC,EAAE,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAA,4BAAW,EAAC,EAAE,CAAC,CAAC;QAC3B,mDAAmD;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3B,kDAAkD;QAClD,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,0EAA0E;QAC1E,wEAAwE;QACxE,MAAM,IAAI,GAAG,IAAA,qBAAI,EACf,IAAI,EACJ,IAAA,qBAAI,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,EACpB,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,IAAI,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,IAAI,CAAC,EAAE,IAAA,qBAAI,EAAC,MAAM,CAAC,CAAC,CAAC,CAC/E,CAAC;QACF,IAAA,eAAM,EAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,oCAAoC;AACpC,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,IAAI,GAAG,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,MAAM,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,IAAI,GAAG,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,KAAK,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,IAAI,GAAG,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC1F,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAI,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,KAAK,CAAC,EAAE,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,MAAM,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,sBAAK,EAAC,IAAI,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,qBAAI,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,sBAAK,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,IAAA,sBAAK,EAAC,IAAA,qBAAI,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,qBAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,iCAAiC;AACjC,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAiB,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,qBAAI,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,GAAG,IAAA,uBAAM,EAAC,sBAAK,EAAE,IAAA,qBAAI,EAAC,MAAM,EAAE,qBAAI,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,EAAE,GAAiB,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,qBAAI,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,EAAE,GAAiB,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,sBAAK,CAAC,CAAC,CAAC,CAAC;QACjD,gFAAgF;QAChF,iFAAiF;QACjF,MAAM,CAAC,GAAG,IAAA,8BAAa,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAA,qBAAI,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,sBAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,iCAAgB,GAAE,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,6BAAY,EAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,6BAAY,EAAC,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,4CAA4C;AAC5C,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,2BAAU,EAAC,IAAA,qBAAI,EAAC,EAAE,CAAC,EAAE,IAAA,2BAAU,GAAE,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,IAAA,6BAAY,EAAC,CAAC,CAAC;YAAE,OAAO;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,qBAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,gEAAgE;QAChE,0CAA0C;QAC1C,IAAA,iCAAgB,GAAE,CAAC;QACnB,MAAM,IAAI,GAAG,IAAA,qBAAI,EAAC,IAAA,qBAAI,EAAC,GAAG,EAAE,IAAA,qBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,sBAAK,EAAC,IAAI,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,2BAAU,EAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/hott/hott.test.d.ts

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

package/dist/tests/hott/hott.test.d.ts.map

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