xbintsc 0.5.23 → 0.5.32

package/dist/src/checker/type-system.js

@@ -0,0 +1,569 @@
+/**
+ * A deliberately small structural type model for the checker.
+ *
+ * The goal is not to reimplement TypeScript's type system. It is to know
+ * enough about annotations, interfaces, classes, arrays, functions and simple
+ * generics to answer "is this value definitely the wrong shape?" without
+ * guessing. Anything the model does not understand becomes `any`, and `any` is
+ * compatible with everything — so unsupported syntax can only hide a bug, never
+ * reject working code.
+ */
+import { ModifierKind, SyntaxKind, } from "../ast/nodes.js";
+import { ASSIGNMENT_OPERATORS } from "../codegen/generator/tables.js";
+import { classMemberName } from "../binder/helpers.js";
+import { SymbolKind } from "../binder/binder.js";
+import { walk } from "./walk.js";
+import { ANY, isParameterProperty, isThisParameter, primitive, printType, unionOf, unwrap, widenType, } from "./type-model.js";
+import { inferTypeOfExpression } from "./type-infer.js";
+/** Resolve type syntax and symbol annotations into the small model above. */
+export class TypeResolver {
+    sourceFile;
+    binding;
+    declarations = new Map();
+    symbolTypes = new Map();
+    resolvingSymbols = new Set();
+    resolvingAliases = new Set();
+    resolvingInterfaces = new Set();
+    resolvingClasses = new Set();
+    classCache = new Map();
+    dynamicClasses = new Set();
+    symbolsById = new Map();
+    constructor(sourceFile, binding) {
+        this.sourceFile = sourceFile;
+        this.binding = binding;
+        this.collectDeclarations();
+        this.collectDynamicClasses();
+        for (const symbol of binding.symbolOfDeclaration.values()) {
+            if (symbol)
+                this.symbolsById.set(symbol.id, symbol);
+        }
+    }
+    typeOfSymbolId(id) {
+        const symbol = this.symbolsById.get(id);
+        return symbol ? this.typeOfSymbol(symbol) : undefined;
+    }
+    /** The instance type of the class an `instanceof` right-hand side names. */
+    classInstanceFromIdentifier(expression) {
+        const info = this.classOfIdentifier(expression);
+        return info ? this.classType(info.node) : undefined;
+    }
+    // -- declarations --------------------------------------------------------
+    collectDeclarations() {
+        walk(this.sourceFile, (node) => {
+            if (node.kind === SyntaxKind.InterfaceDeclaration) {
+                this.addDeclaration(node.name.text, { kind: "interface", node: node });
+            }
+            else if (node.kind === SyntaxKind.TypeAliasDeclaration) {
+                this.addDeclaration(node.name.text, { kind: "alias", node: node });
+            }
+            else if (node.kind === SyntaxKind.ClassDeclaration) {
+                const declaration = node;
+                if (declaration.name)
+                    this.addDeclaration(declaration.name.text, { kind: "class", node: declaration });
+            }
+        });
+    }
+    addDeclaration(name, declaration) {
+        // A duplicate means bundling or shadowing made the name ambiguous; treating
+        // it as `any` is the only safe answer without a full binder for types.
+        this.declarations.set(name, this.declarations.has(name) ? undefined : declaration);
+    }
+    collectDynamicClasses() {
+        walk(this.sourceFile, (node) => {
+            if (node.kind === SyntaxKind.BinaryExpression) {
+                const binary = node;
+                const owner = this.classOfPrototypeExpression(binary.left);
+                if (owner)
+                    this.dynamicClasses.add(owner.id);
+                if (binary.left.kind === SyntaxKind.PropertyAccessExpression) {
+                    const nested = this.classOfPrototypeExpression(binary.left.expression);
+                    if (nested)
+                        this.dynamicClasses.add(nested.id);
+                }
+            }
+            else if (node.kind === SyntaxKind.CallExpression) {
+                const call = node;
+                const first = call.arguments[0];
+                const owner = first ? this.classOfPrototypeExpression(first) : undefined;
+                if (owner)
+                    this.dynamicClasses.add(owner.id);
+            }
+        });
+        // A constructor that assigns `this[key]` or `Object.assign(this, ...)`
+        // creates members no static shape can enumerate.
+        for (const info of this.binding.classes) {
+            if (this.classHasDynamicMembers(info.node))
+                this.dynamicClasses.add(info.id);
+        }
+    }
+    classHasDynamicMembers(node) {
+        let dynamic = false;
+        walk(node, (child) => {
+            if (dynamic)
+                return;
+            if (child.kind === SyntaxKind.BinaryExpression) {
+                const binary = child;
+                if (!ASSIGNMENT_OPERATORS.has(binary.operator))
+                    return;
+                if (binary.left.kind !== SyntaxKind.ElementAccessExpression)
+                    return;
+                if (unwrap(binary.left.expression).kind === SyntaxKind.ThisKeyword)
+                    dynamic = true;
+                return;
+            }
+            if (child.kind !== SyntaxKind.CallExpression)
+                return;
+            const call = child;
+            const callee = call.expression;
+            if (callee.kind !== SyntaxKind.PropertyAccessExpression)
+                return;
+            const access = callee;
+            if (access.expression.kind !== SyntaxKind.Identifier || access.name.kind !== SyntaxKind.Identifier)
+                return;
+            const owner = access.expression.text;
+            const method = access.name.text;
+            const mutates = owner === "Object" && (method === "assign" || method === "defineProperty" || method === "defineProperties");
+            const first = call.arguments[0];
+            if (mutates && first && unwrap(first).kind === SyntaxKind.ThisKeyword)
+                dynamic = true;
+        });
+        return dynamic;
+    }
+    /** `this.x = ...` members, typed `any` because the assignment is the only source. */
+    collectThisProperties(node, properties) {
+        walk(node, (child) => {
+            if (child.kind !== SyntaxKind.BinaryExpression)
+                return;
+            const binary = child;
+            if (!ASSIGNMENT_OPERATORS.has(binary.operator))
+                return;
+            if (binary.left.kind !== SyntaxKind.PropertyAccessExpression)
+                return;
+            const access = binary.left;
+            if (unwrap(access.expression).kind !== SyntaxKind.ThisKeyword)
+                return;
+            if (access.name.kind !== SyntaxKind.Identifier)
+                return;
+            const name = access.name.text;
+            if (!properties.has(name))
+                properties.set(name, { type: ANY, optional: false });
+        });
+    }
+    classOfPrototypeExpression(expression) {
+        const unwrapped = unwrap(expression);
+        if (unwrapped.kind !== SyntaxKind.PropertyAccessExpression)
+            return undefined;
+        const access = unwrapped;
+        if (access.name.kind !== SyntaxKind.Identifier || access.name.text !== "prototype")
+            return undefined;
+        return this.classOfIdentifier(access.expression);
+    }
+    classOfIdentifier(expression) {
+        const identifier = unwrap(expression);
+        if (identifier.kind !== SyntaxKind.Identifier)
+            return undefined;
+        const symbol = this.binding.symbolOfIdentifier.get(identifier);
+        if (!symbol || symbol.kind !== SymbolKind.Class || symbol.declarations.length !== 1)
+            return undefined;
+        return this.binding.classOfNode.get(symbol.declarations[0]);
+    }
+    // -- type syntax ---------------------------------------------------------
+    resolve(node, typeParams = new Map()) {
+        if (!node)
+            return ANY;
+        switch (node.kind) {
+            case SyntaxKind.AnyKeywordType:
+            case SyntaxKind.UnknownKeywordType:
+                return ANY;
+            case SyntaxKind.NumberKeywordType:
+                return primitive("number");
+            case SyntaxKind.StringKeywordType:
+                return primitive("string");
+            case SyntaxKind.BooleanKeywordType:
+                return primitive("boolean");
+            case SyntaxKind.BigIntKeywordType:
+                return primitive("bigint");
+            case SyntaxKind.SymbolKeywordType:
+                return primitive("symbol");
+            case SyntaxKind.NullKeywordType:
+                return primitive("null");
+            case SyntaxKind.UndefinedKeywordType:
+                return primitive("undefined");
+            case SyntaxKind.VoidKeywordType:
+                return primitive("void");
+            case SyntaxKind.NeverKeywordType:
+                return ANY;
+            case SyntaxKind.ObjectKeywordType:
+            case SyntaxKind.ThisKeywordType:
+                return ANY;
+            case SyntaxKind.LiteralType: {
+                const literal = node.literal;
+                if (literal.kind === SyntaxKind.StringLiteral)
+                    return { kind: "literal", value: literal.value, primitive: "string" };
+                if (literal.kind === SyntaxKind.NumericLiteral)
+                    return { kind: "literal", value: literal.value, primitive: "number" };
+                if (literal.kind === SyntaxKind.TrueKeyword || literal.kind === SyntaxKind.FalseKeyword) {
+                    return { kind: "literal", value: literal.kind === SyntaxKind.TrueKeyword, primitive: "boolean" };
+                }
+                return primitive("null");
+            }
+            case SyntaxKind.ArrayType:
+                return { kind: "array", element: this.resolve(node.elementType, typeParams) };
+            case SyntaxKind.TupleType:
+                return { kind: "tuple", elements: node.elements.map((element) => this.resolve(element, typeParams)) };
+            case SyntaxKind.UnionType:
+                return unionOf(node.types.map((element) => this.resolve(element, typeParams)));
+            case SyntaxKind.IntersectionType: {
+                const parts = node.types.map((element) => this.resolve(element, typeParams));
+                const properties = new Map();
+                for (const part of parts) {
+                    if (part.kind !== "object")
+                        return ANY;
+                    for (const [name, property] of part.properties)
+                        properties.set(name, property);
+                }
+                return { kind: "object", properties, closed: true };
+            }
+            case SyntaxKind.ParenthesizedType:
+                return this.resolve(node.type, typeParams);
+            case SyntaxKind.OptionalType:
+            case SyntaxKind.RestType:
+                return this.resolve(node.type, typeParams);
+            case SyntaxKind.TypeOperator:
+                return this.resolve(node.type, typeParams);
+            case SyntaxKind.FunctionType:
+                return this.functionType(node, typeParams);
+            case SyntaxKind.TypeLiteral:
+                return this.typeLiteral(node, typeParams);
+            case SyntaxKind.TypeReference:
+                return this.typeReference(node, typeParams);
+            default:
+                return ANY;
+        }
+    }
+    functionType(node, outer) {
+        const typeParams = new Map(outer);
+        const declared = [];
+        for (const parameter of node.typeParameters) {
+            const name = parameter.name.text;
+            typeParams.set(name, { kind: "typeParam", name });
+            declared.push({ name });
+        }
+        return {
+            kind: "function",
+            parameters: node.parameters.filter((parameter) => !isThisParameter(parameter)).map((parameter) => this.parameterInfo(parameter, typeParams)),
+            returnType: this.resolve(node.returnType, typeParams),
+            typeParameters: declared,
+        };
+    }
+    parameterInfo(parameter, typeParams) {
+        return {
+            type: this.resolve(parameter.type, typeParams),
+            optional: parameter.questionToken || parameter.initializer !== undefined || parameter.dotDotDotToken,
+            rest: parameter.dotDotDotToken,
+        };
+    }
+    typeLiteral(node, typeParams) {
+        const properties = new Map();
+        let index;
+        for (const member of node.members) {
+            if (member.kind === SyntaxKind.PropertySignature) {
+                const property = member;
+                this.addProperty(properties, classMemberName(property.name), this.resolve(property.type, typeParams), property.questionToken);
+            }
+            else if (member.kind === SyntaxKind.MethodSignature) {
+                const method = member;
+                properties.set(classMemberName(method.name), {
+                    type: {
+                        kind: "function",
+                        parameters: method.parameters.filter((parameter) => !isThisParameter(parameter)).map((parameter) => this.parameterInfo(parameter, typeParams)),
+                        returnType: this.resolve(method.returnType, typeParams),
+                        typeParameters: method.typeParameters.map((parameter) => ({ name: parameter.name.text })),
+                    },
+                    optional: method.questionToken,
+                });
+            }
+            else if (member.kind === SyntaxKind.IndexSignature) {
+                const parameter = member.parameters[0];
+                index = this.resolve(parameter?.type, typeParams);
+            }
+        }
+        return index ? { kind: "object", properties, index, closed: false } : { kind: "object", properties, closed: true };
+    }
+    addProperty(properties, name, type, optional) {
+        if (!name)
+            return;
+        properties.set(name, { type, optional });
+    }
+    typeReference(node, typeParams) {
+        const name = node.typeName.kind === SyntaxKind.Identifier ? node.typeName.text : "";
+        if (!name)
+            return ANY;
+        if (typeParams.has(name))
+            return typeParams.get(name);
+        const builtin = this.builtinType(name, node.typeArguments.map((argument) => this.resolve(argument, typeParams)));
+        if (builtin)
+            return builtin;
+        const declaration = this.declarations.get(name);
+        if (!declaration)
+            return { kind: "typeParam", name };
+        if (declaration.kind === "interface")
+            return this.interfaceType(declaration.node, node.typeArguments.map((argument) => this.resolve(argument, typeParams)));
+        if (declaration.kind === "alias")
+            return this.aliasType(declaration.node, node.typeArguments.map((argument) => this.resolve(argument, typeParams)));
+        return this.classType(declaration.node, node.typeArguments.map((argument) => this.resolve(argument, typeParams)));
+    }
+    builtinType(name, args) {
+        switch (name) {
+            case "Array":
+            case "ReadonlyArray":
+                return { kind: "array", element: args[0] ?? ANY };
+            case "String":
+                return primitive("string");
+            case "Number":
+                return primitive("number");
+            case "Boolean":
+                return primitive("boolean");
+            case "Record":
+                return { kind: "object", properties: new Map(), index: args[1] ?? ANY, closed: false };
+            case "Partial":
+            case "Required":
+            case "Readonly":
+            case "Pick":
+            case "Omit":
+            case "Exclude":
+            case "Extract":
+            case "NonNullable":
+            case "ReturnType":
+            case "Parameters":
+            case "Promise":
+            case "PromiseLike":
+            case "Map":
+            case "Set":
+            case "WeakMap":
+            case "WeakSet":
+            case "Date":
+            case "RegExp":
+            case "Error":
+            case "Function":
+            case "Object":
+                return ANY;
+            default:
+                return undefined;
+        }
+    }
+    bindTypeParameters(declaration, args) {
+        const params = new Map();
+        declaration.typeParameters.forEach((parameter, index) => {
+            params.set(parameter.name.text, args[index] ?? { kind: "typeParam", name: parameter.name.text });
+        });
+        return params;
+    }
+    aliasType(node, args) {
+        const name = node.name.text;
+        if (this.resolvingAliases.has(name))
+            return ANY;
+        this.resolvingAliases.add(name);
+        const params = this.bindTypeParameters(node, args);
+        const resolved = this.resolve(node.type, params);
+        this.resolvingAliases.delete(name);
+        return resolved;
+    }
+    interfaceType(node, args = []) {
+        const name = node.name.text;
+        if (this.resolvingInterfaces.has(name))
+            return ANY;
+        this.resolvingInterfaces.add(name);
+        const result = this.buildInterfaceType(node, args);
+        this.resolvingInterfaces.delete(name);
+        return result;
+    }
+    buildInterfaceType(node, args = []) {
+        const params = this.bindTypeParameters(node, args);
+        const properties = new Map();
+        let index;
+        for (const clause of node.heritage) {
+            if (clause.token !== "extends")
+                continue;
+            const parent = clause.types[0]?.expression;
+            if (!parent || parent.kind !== SyntaxKind.Identifier)
+                return ANY;
+            const parentDecl = this.declarations.get(parent.text);
+            if (!parentDecl || parentDecl.kind !== "interface")
+                return ANY;
+            const parentType = this.interfaceType(parentDecl.node, []);
+            if (parentType.kind !== "object")
+                return ANY;
+            for (const [name, property] of parentType.properties)
+                properties.set(name, property);
+        }
+        for (const member of node.members) {
+            if (member.kind === SyntaxKind.PropertySignature) {
+                const property = member;
+                this.addProperty(properties, classMemberName(property.name), this.resolve(property.type, params), property.questionToken);
+            }
+            else if (member.kind === SyntaxKind.MethodSignature) {
+                const method = member;
+                properties.set(classMemberName(method.name), {
+                    type: {
+                        kind: "function",
+                        parameters: method.parameters.filter((parameter) => !isThisParameter(parameter)).map((parameter) => this.parameterInfo(parameter, params)),
+                        returnType: this.resolve(method.returnType, params),
+                        typeParameters: method.typeParameters.map((parameter) => ({ name: parameter.name.text })),
+                    },
+                    optional: method.questionToken,
+                });
+            }
+            else if (member.kind === SyntaxKind.IndexSignature) {
+                const parameter = member.parameters[0];
+                index = this.resolve(parameter?.type, params);
+            }
+        }
+        return index ? { kind: "object", properties, index, closed: false, label: node.name.text } : { kind: "object", properties, closed: true, label: node.name.text };
+    }
+    classType(node, args = []) {
+        const info = this.binding.classOfNode.get(node);
+        if (!info)
+            return ANY;
+        if (this.resolvingClasses.has(info.id))
+            return ANY;
+        this.resolvingClasses.add(info.id);
+        const result = this.buildClassType(info, node, args);
+        this.resolvingClasses.delete(info.id);
+        return result;
+    }
+    buildClassType(info, node, args) {
+        if (this.dynamicClasses.has(info.id))
+            return ANY;
+        if (info.parentExpression && !info.parent)
+            return ANY;
+        const cacheKey = `${info.id}<${args.map((argument) => printType(argument)).join(",")}>`;
+        const cached = this.classCache.get(cacheKey);
+        if (cached)
+            return cached;
+        const params = this.bindTypeParameters(node, args);
+        const properties = new Map();
+        if (info.parent) {
+            const parentType = this.classType(info.parent.node, []);
+            if (parentType.kind !== "object")
+                return ANY;
+            for (const [name, property] of parentType.properties)
+                properties.set(name, property);
+        }
+        for (const member of node.members) {
+            if (member.kind === SyntaxKind.PropertyDeclaration) {
+                const property = member;
+                if (property.modifiers.some((modifier) => modifier.modifierKind === ModifierKind.Static))
+                    continue;
+                const name = classMemberName(property.name);
+                const type = property.type ? this.resolve(property.type, params) : property.initializer ? widenType(this.inferExpression(property.initializer)) : ANY;
+                this.addProperty(properties, name, type, property.questionToken);
+            }
+            else if (member.kind === SyntaxKind.MethodDeclaration) {
+                const method = member;
+                if (method.modifiers.some((modifier) => modifier.modifierKind === ModifierKind.Static))
+                    continue;
+                const name = classMemberName(method.name);
+                if (method.accessor === "get") {
+                    properties.set(name, { type: this.resolve(method.returnType, params), optional: false });
+                }
+                else if (method.accessor === "set") {
+                    if (!properties.has(name)) {
+                        const parameter = method.parameters[0];
+                        properties.set(name, { type: parameter ? this.resolve(parameter.type, params) : ANY, optional: false });
+                    }
+                }
+                else {
+                    properties.set(name, {
+                        type: {
+                            kind: "function",
+                            parameters: method.parameters.filter((parameter) => !isThisParameter(parameter)).map((parameter) => this.parameterInfo(parameter, params)),
+                            returnType: this.resolve(method.returnType, params),
+                            typeParameters: [],
+                        },
+                        optional: method.optional,
+                    });
+                }
+            }
+        }
+        this.collectThisProperties(node, properties);
+        if (info.ctor) {
+            const parameters = info.ctor.node.parameters ?? [];
+            for (const parameter of parameters) {
+                if (!isParameterProperty(parameter))
+                    continue;
+                if (parameter.name.kind !== SyntaxKind.Identifier)
+                    continue;
+                properties.set(parameter.name.text, { type: this.resolve(parameter.type, params), optional: parameter.questionToken });
+            }
+        }
+        const type = { kind: "object", properties, closed: true, label: `class '${node.name?.text ?? info.name}'` };
+        this.classCache.set(cacheKey, type);
+        return type;
+    }
+    /** The instance shape of a class declaration (`this` inside its methods). */
+    classInstanceType(node) {
+        return this.classType(node);
+    }
+    // -- symbols -------------------------------------------------------------
+    setSymbolType(symbolId, type) {
+        this.symbolTypes.set(symbolId, type);
+    }
+    typeOfSymbol(symbol) {
+        const cached = this.symbolTypes.get(symbol.id);
+        if (cached)
+            return cached;
+        if (this.resolvingSymbols.has(symbol.id))
+            return ANY;
+        this.resolvingSymbols.add(symbol.id);
+        const type = this.computeSymbolType(symbol);
+        this.resolvingSymbols.delete(symbol.id);
+        this.symbolTypes.set(symbol.id, type);
+        return type;
+    }
+    computeSymbolType(symbol) {
+        const declaration = symbol.declarations[0];
+        if (!declaration)
+            return ANY;
+        if (symbol.kind === SymbolKind.Import)
+            return ANY;
+        if (symbol.kind === SymbolKind.Class)
+            return ANY;
+        if (symbol.kind === SymbolKind.Function && declaration.kind === SyntaxKind.FunctionDeclaration) {
+            // Overloads: no single signature is authoritative.
+            if (symbol.declarations.length > 1)
+                return ANY;
+            const fn = declaration;
+            const typeParams = new Map();
+            const declared = [];
+            for (const parameter of fn.typeParameters) {
+                typeParams.set(parameter.name.text, { kind: "typeParam", name: parameter.name.text });
+                declared.push({ name: parameter.name.text });
+            }
+            return {
+                kind: "function",
+                parameters: fn.parameters.filter((parameter) => !isThisParameter(parameter)).map((parameter) => this.parameterInfo(parameter, typeParams)),
+                returnType: this.resolve(fn.returnType, typeParams),
+                typeParameters: declared,
+                label: symbol.name,
+            };
+        }
+        if (declaration.kind === SyntaxKind.VariableDeclaration) {
+            const variable = declaration;
+            if (variable.type)
+                return this.resolve(variable.type);
+            if (variable.initializer)
+                return this.inferExpression(variable.initializer);
+            return ANY;
+        }
+        if (declaration.kind === SyntaxKind.Parameter) {
+            const parameter = declaration;
+            return this.resolve(parameter.type);
+        }
+        return ANY;
+    }
+    inferExpression(expression, lookup) {
+        return inferTypeOfExpression(this, expression, lookup);
+    }
+}
+//# sourceMappingURL=type-system.js.map

package/dist/src/checker/type-system.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system.js","sourceRoot":"","sources":["../../../src/checker/type-system.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EACL,YAAY,EACZ,UAAU,GA6BX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAoD,MAAM,qBAAqB,CAAC;AACnG,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,GAAG,EACH,mBAAmB,EACnB,eAAe,EACf,SAAS,EACT,SAAS,EACT,OAAO,EACP,MAAM,EACN,SAAS,GAKV,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAOxD,6EAA6E;AAC7E,MAAM,OAAO,YAAY;IAYZ;IACA;IAZM,YAAY,GAAG,IAAI,GAAG,EAAuC,CAAC;IAC9D,WAAW,GAAG,IAAI,GAAG,EAAgB,CAAC;IACtC,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,UAAU,GAAG,IAAI,GAAG,EAAgB,CAAC;IACrC,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;IAE7D,YACW,UAA0B,EAC1B,OAAmB;QADnB,eAAU,GAAV,UAAU,CAAgB;QAC1B,YAAO,GAAP,OAAO,CAAY;QAE5B,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC3B,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC7B,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,mBAAmB,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1D,IAAI,MAAM;gBAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,cAAc,CAAC,EAAU;QACvB,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxC,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACxD,CAAC;IAED,4EAA4E;IAC5E,2BAA2B,CAAC,UAAsB;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAChD,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAwB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1E,CAAC;IAED,2EAA2E;IAEnE,mBAAmB;QACzB,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;YAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,oBAAoB,EAAE,CAAC;gBAClD,IAAI,CAAC,cAAc,CAAE,IAA6B,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAA4B,EAAE,CAAC,CAAC;YAC3H,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,oBAAoB,EAAE,CAAC;gBACzD,IAAI,CAAC,cAAc,CAAE,IAA6B,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAA4B,EAAE,CAAC,CAAC;YACvH,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,gBAAgB,EAAE,CAAC;gBACrD,MAAM,WAAW,GAAG,IAAwB,CAAC;gBAC7C,IAAI,WAAW,CAAC,IAAI;oBAAE,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;YACzG,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,cAAc,CAAC,IAAY,EAAE,WAA4B;QAC/D,4EAA4E;QAC5E,uEAAuE;QACvE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACrF,CAAC;IAEO,qBAAqB;QAC3B,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;YAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,gBAAgB,EAAE,CAAC;gBAC9C,MAAM,MAAM,GAAG,IAAwB,CAAC;gBACxC,MAAM,KAAK,GAAG,IAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC3D,IAAI,KAAK;oBAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC7C,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,wBAAwB,EAAE,CAAC;oBAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,0BAA0B,CAAE,MAAM,CAAC,IAA8C,CAAC,UAAU,CAAC,CAAC;oBAClH,IAAI,MAAM;wBAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACjD,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,cAAc,EAAE,CAAC;gBACnD,MAAM,IAAI,GAAG,IAAsB,CAAC;gBACpC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAChC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACzE,IAAI,KAAK;oBAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC,CAAC,CAAC;QACH,uEAAuE;QACvE,iDAAiD;QACjD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IAEO,sBAAsB,CAAC,IAAU;QACvC,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YACnB,IAAI,OAAO;gBAAE,OAAO;YACpB,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,gBAAgB,EAAE,CAAC;gBAC/C,MAAM,MAAM,GAAG,KAAyB,CAAC;gBACzC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;oBAAE,OAAO;gBACvD,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB;oBAAE,OAAO;gBACpE,IAAI,MAAM,CAAE,MAAM,CAAC,IAA8C,CAAC,UAAU,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,WAAW;oBAAE,OAAO,GAAG,IAAI,CAAC;gBAC9H,OAAO;YACT,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,cAAc;gBAAE,OAAO;YACrD,MAAM,IAAI,GAAG,KAAuB,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;YAC/B,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,wBAAwB;gBAAE,OAAO;YAChE,MAAM,MAAM,GAAG,MAAkC,CAAC;YAClD,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;gBAAE,OAAO;YAC3G,MAAM,KAAK,GAAI,MAAM,CAAC,UAAyB,CAAC,IAAI,CAAC;YACrD,MAAM,MAAM,GAAI,MAAM,CAAC,IAAmB,CAAC,IAAI,CAAC;YAChD,MAAM,OAAO,GAAG,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,gBAAgB,IAAI,MAAM,KAAK,kBAAkB,CAAC,CAAC;YAC5H,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,OAAO,IAAI,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,WAAW;gBAAE,OAAO,GAAG,IAAI,CAAC;QACxF,CAAC,CAAC,CAAC;QACH,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,qFAAqF;IAC7E,qBAAqB,CAAC,IAAU,EAAE,UAAqC;QAC7E,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YACnB,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,gBAAgB;gBAAE,OAAO;YACvD,MAAM,MAAM,GAAG,KAAyB,CAAC;YACzC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;gBAAE,OAAO;YACvD,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,wBAAwB;gBAAE,OAAO;YACrE,MAAM,MAAM,GAAG,MAAM,CAAC,IAAgC,CAAC;YACvD,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,WAAW;gBAAE,OAAO;YACtE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;gBAAE,OAAO;YACvD,MAAM,IAAI,GAAI,MAAM,CAAC,IAAmB,CAAC,IAAI,CAAC;YAC9C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QAClF,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,0BAA0B,CAAC,UAAsB;QACvD,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACrC,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,wBAAwB;YAAE,OAAO,SAAS,CAAC;QAC7E,MAAM,MAAM,GAAG,SAAyD,CAAC;QACzE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,SAAS,CAAC;QACrG,OAAO,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACnD,CAAC;IAEO,iBAAiB,CAAC,UAAsB;QAC9C,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAChE,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAwB,CAAC,CAAC;QAC7E,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,KAAK,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACtG,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAE,CAAC,CAAC;IAC/D,CAAC;IAED,2EAA2E;IAE3E,OAAO,CAAC,IAA0B,EAAE,aAAwC,IAAI,GAAG,EAAE;QACnF,IAAI,CAAC,IAAI;YAAE,OAAO,GAAG,CAAC;QACtB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,UAAU,CAAC,cAAc,CAAC;YAC/B,KAAK,UAAU,CAAC,kBAAkB;gBAChC,OAAO,GAAG,CAAC;YACb,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC7B,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC7B,KAAK,UAAU,CAAC,kBAAkB;gBAChC,OAAO,SAAS,CAAC,SAAS,CAAC,CAAC;YAC9B,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC7B,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC7B,KAAK,UAAU,CAAC,eAAe;gBAC7B,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC;YAC3B,KAAK,UAAU,CAAC,oBAAoB;gBAClC,OAAO,SAAS,CAAC,WAAW,CAAC,CAAC;YAChC,KAAK,UAAU,CAAC,eAAe;gBAC7B,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC;YAC3B,KAAK,UAAU,CAAC,gBAAgB;gBAC9B,OAAO,GAAG,CAAC;YACb,KAAK,UAAU,CAAC,iBAAiB,CAAC;YAClC,KAAK,UAAU,CAAC,eAAe;gBAC7B,OAAO,GAAG,CAAC;YACb,KAAK,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;gBAC5B,MAAM,OAAO,GAAI,IAAwB,CAAC,OAAO,CAAC;gBAClD,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa;oBAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAG,OAA6B,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;gBAC5I,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,cAAc;oBAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAG,OAA6B,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;gBAC7I,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,WAAW,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,YAAY,EAAE,CAAC;oBACxF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;gBACnG,CAAC;gBACD,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC;YAC3B,CAAC;YACD,KAAK,UAAU,CAAC,SAAS;gBACvB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAE,IAAsB,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC;YACnG,KAAK,UAAU,CAAC,SAAS;gBACvB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAG,IAAsB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC;YAC3H,KAAK,UAAU,CAAC,SAAS;gBACvB,OAAO,OAAO,CAAE,IAAsB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;YACpG,KAAK,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC;gBACjC,MAAM,KAAK,GAAI,IAA6B,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;gBACvG,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;gBACnD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;wBAAE,OAAO,GAAG,CAAC;oBACvC,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU;wBAAE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACjF,CAAC;gBACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;YACtD,CAAC;YACD,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,OAAO,IAAI,CAAC,OAAO,CAAE,IAA8B,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACxE,KAAK,UAAU,CAAC,YAAY,CAAC;YAC7B,KAAK,UAAU,CAAC,QAAQ;gBACtB,OAAO,IAAI,CAAC,OAAO,CAAE,IAAsC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAChF,KAAK,UAAU,CAAC,YAAY;gBAC1B,OAAO,IAAI,CAAC,OAAO,CAAE,IAAyB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACnE,KAAK,UAAU,CAAC,YAAY;gBAC1B,OAAO,IAAI,CAAC,YAAY,CAAC,IAAwB,EAAE,UAAU,CAAC,CAAC;YACjE,KAAK,UAAU,CAAC,WAAW;gBACzB,OAAO,IAAI,CAAC,WAAW,CAAC,IAAuB,EAAE,UAAU,CAAC,CAAC;YAC/D,KAAK,UAAU,CAAC,aAAa;gBAC3B,OAAO,IAAI,CAAC,aAAa,CAAC,IAAqB,EAAE,UAAU,CAAC,CAAC;YAC/D;gBACE,OAAO,GAAG,CAAC;QACf,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,IAAsB,EAAE,KAAgC;QAC3E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,QAAQ,GAAwB,EAAE,CAAC;QACzC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;YACjC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;YAClD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1B,CAAC;QACD,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YAC5I,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC;YACrD,cAAc,EAAE,QAAQ;SACzB,CAAC;IACJ,CAAC;IAED,aAAa,CAAC,SAAoB,EAAE,UAAqC;QACvE,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC;YAC9C,QAAQ,EAAE,SAAS,CAAC,aAAa,IAAI,SAAS,CAAC,WAAW,KAAK,SAAS,IAAI,SAAS,CAAC,cAAc;YACpG,IAAI,EAAE,SAAS,CAAC,cAAc;SAC/B,CAAC;IACJ,CAAC;IAEO,WAAW,CAAC,IAAqB,EAAE,UAAqC;QAC9E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;QACnD,IAAI,KAAuB,CAAC;QAC5B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,iBAAiB,EAAE,CAAC;gBACjD,MAAM,QAAQ,GAAG,MAA2B,CAAC;gBAC7C,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;YAChI,CAAC;iBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,eAAe,EAAE,CAAC;gBACtD,MAAM,MAAM,GAAG,MAAyB,CAAC;gBACzC,UAAU,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;oBAC3C,IAAI,EAAE;wBACJ,IAAI,EAAE,UAAU;wBAChB,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;wBAC9I,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC;wBACvD,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;qBAC1F;oBACD,QAAQ,EAAE,MAAM,CAAC,aAAa;iBAC/B,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,cAAc,EAAE,CAAC;gBACrD,MAAM,SAAS,GAAI,MAAiD,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBACnF,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACrH,CAAC;IAEO,WAAW,CAAC,UAAqC,EAAE,IAAY,EAAE,IAAU,EAAE,QAAiB;QACpG,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC3C,CAAC;IAEO,aAAa,CAAC,IAAmB,EAAE,UAAqC;QAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,CAAC,CAAC,CAAE,IAAI,CAAC,QAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACpG,IAAI,CAAC,IAAI;YAAE,OAAO,GAAG,CAAC;QACtB,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,UAAU,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QACvD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;QACjH,IAAI,OAAO;YAAE,OAAO,OAAO,CAAC;QAC5B,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,WAAW;YAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QACrD,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5J,IAAI,WAAW,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;QACpJ,OAAO,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACpH,CAAC;IAEO,WAAW,CAAC,IAAY,EAAE,IAAqB;QACrD,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,OAAO,CAAC;YACb,KAAK,eAAe;gBAClB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;YACpD,KAAK,QAAQ;gBACX,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC7B,KAAK,QAAQ;gBACX,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC7B,KAAK,SAAS;gBACZ,OAAO,SAAS,CAAC,SAAS,CAAC,CAAC;YAC9B,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;YACzF,KAAK,SAAS,CAAC;YACf,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU,CAAC;YAChB,KAAK,MAAM,CAAC;YACZ,KAAK,MAAM,CAAC;YACZ,KAAK,SAAS,CAAC;YACf,KAAK,SAAS,CAAC;YACf,KAAK,aAAa,CAAC;YACnB,KAAK,YAAY,CAAC;YAClB,KAAK,YAAY,CAAC;YAClB,KAAK,SAAS,CAAC;YACf,KAAK,aAAa,CAAC;YACnB,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,SAAS,CAAC;YACf,KAAK,SAAS,CAAC;YACf,KAAK,MAAM,CAAC;YACZ,KAAK,QAAQ,CAAC;YACd,KAAK,OAAO,CAAC;YACb,KAAK,UAAU,CAAC;YAChB,KAAK,QAAQ;gBACX,OAAO,GAAG,CAAC;YACb;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAEO,kBAAkB,CAAC,WAAgE,EAAE,IAAqB;QAChH,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgB,CAAC;QACvC,WAAW,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;YACtD,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACnG,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,SAAS,CAAC,IAA0B,EAAE,IAAqB;QACjE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5B,IAAI,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,GAAG,CAAC;QAChD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACjD,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAEO,aAAa,CAAC,IAA0B,EAAE,OAAwB,EAAE;QAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5B,IAAI,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,GAAG,CAAC;QACnD,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACnD,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtC,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,kBAAkB,CAAC,IAA0B,EAAE,OAAwB,EAAE;QAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;QACnD,IAAI,KAAuB,CAAC;QAC5B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;gBAAE,SAAS;YACzC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;YAC3C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;gBAAE,OAAO,GAAG,CAAC;YACjE,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAE,MAAqB,CAAC,IAAI,CAAC,CAAC;YACtE,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW;gBAAE,OAAO,GAAG,CAAC;YAC/D,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC3D,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,GAAG,CAAC;YAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,UAAU;gBAAE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvF,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,iBAAiB,EAAE,CAAC;gBACjD,MAAM,QAAQ,GAAG,MAA2B,CAAC;gBAC7C,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;YAC5H,CAAC;iBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,eAAe,EAAE,CAAC;gBACtD,MAAM,MAAM,GAAG,MAAyB,CAAC;gBACzC,UAAU,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;oBAC3C,IAAI,EAAE;wBACJ,IAAI,EAAE,UAAU;wBAChB,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;wBAC1I,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC;wBACnD,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;qBAC1F;oBACD,QAAQ,EAAE,MAAM,CAAC,aAAa;iBAC/B,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,cAAc,EAAE,CAAC;gBACrD,MAAM,SAAS,GAAI,MAAiD,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBACnF,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACnK,CAAC;IAEO,SAAS,CAAC,IAAsB,EAAE,OAAwB,EAAE;QAClE,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,IAAI;YAAE,OAAO,GAAG,CAAC;QACtB,IAAI,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,OAAO,GAAG,CAAC;QACnD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACrD,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtC,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,cAAc,CAAC,IAAe,EAAE,IAAsB,EAAE,IAAqB;QACnF,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,OAAO,GAAG,CAAC;QACjD,IAAI,IAAI,CAAC,gBAAgB,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO,GAAG,CAAC;QACtD,MAAM,QAAQ,GAAG,GAAG,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACxF,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;QACnD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,IAAwB,EAAE,EAAE,CAAC,CAAC;YAC5E,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,GAAG,CAAC;YAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,UAAU;gBAAE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvF,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,mBAAmB,EAAE,CAAC;gBACnD,MAAM,QAAQ,GAAG,MAA6B,CAAC;gBAC/C,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,CAAC;oBAAE,SAAS;gBACnG,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC5C,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;gBACtJ,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;YACnE,CAAC;iBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,iBAAiB,EAAE,CAAC;gBACxD,MAAM,MAAM,GAAG,MAA2B,CAAC;gBAC3C,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,CAAC;oBAAE,SAAS;gBACjG,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC1C,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;oBAC9B,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC3F,CAAC;qBAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;oBACrC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC1B,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;wBACvC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;oBAC1G,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE;wBACnB,IAAI,EAAE;4BACJ,IAAI,EAAE,UAAU;4BAChB,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;4BAC1I,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC;4BACnD,cAAc,EAAE,EAAE;yBACnB;wBACD,QAAQ,EAAE,MAAM,CAAC,QAAQ;qBAC1B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC7C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,MAAM,UAAU,GAAI,IAAI,CAAC,IAAI,CAAC,IAAgD,CAAC,UAAU,IAAI,EAAE,CAAC;YAChG,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;gBACnC,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC;oBAAE,SAAS;gBAC9C,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;oBAAE,SAAS;gBAC5D,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC;YACzH,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;QAClH,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,6EAA6E;IAC7E,iBAAiB,CAAC,IAAsB;QACtC,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,2EAA2E;IAE3E,aAAa,CAAC,QAAgB,EAAE,IAAU;QACxC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC;IAED,YAAY,CAAC,MAAkB;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,IAAI,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAAE,OAAO,GAAG,CAAC;QACrD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,iBAAiB,CAAC,MAAkB;QAC1C,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAI,CAAC,WAAW;YAAE,OAAO,GAAG,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,MAAM;YAAE,OAAO,GAAG,CAAC;QAClD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,KAAK;YAAE,OAAO,GAAG,CAAC;QACjD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,mBAAmB,EAAE,CAAC;YAC/F,mDAAmD;YACnD,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,GAAG,CAAC;YAC/C,MAAM,EAAE,GAAG,WAAkC,CAAC;YAC9C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAgB,CAAC;YAC3C,MAAM,QAAQ,GAAwB,EAAE,CAAC;YACzC,KAAK,MAAM,SAAS,IAAI,EAAE,CAAC,cAAc,EAAE,CAAC;gBAC1C,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBACtF,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/C,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;gBAC1I,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;gBACnD,cAAc,EAAE,QAAQ;gBACxB,KAAK,EAAE,MAAM,CAAC,IAAI;aACnB,CAAC;QACJ,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,mBAAmB,EAAE,CAAC;YACxD,MAAM,QAAQ,GAAG,WAAkC,CAAC;YACpD,IAAI,QAAQ,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,QAAQ,CAAC,WAAW;gBAAE,OAAO,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;YAC5E,OAAO,GAAG,CAAC;QACb,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,SAAS,EAAE,CAAC;YAC9C,MAAM,SAAS,GAAG,WAAwB,CAAC;YAC3C,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAGD,eAAe,CAAC,UAAsB,EAAE,MAAiD;QACvF,OAAO,qBAAqB,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACzD,CAAC;CACF"}

package/dist/src/checker/typecheck-types.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Type-inference helpers used by the checker: generic substitution, array
+ * element lookup and property lookup. They live on a prototype mixin so the
+ * main walker stays within the repository's per-file line budget.
+ */
+import { type CallExpression } from "../ast/nodes.js";
+import { type Type } from "./type-model.js";
+import type { Flow } from "./flow.js";
+import type { CheckContext, TypeChecker } from "./typecheck.js";
+export interface TypeCheckerMembers {
+    inferTypeArguments(this: TypeChecker, callee: Extract<Type, {
+        kind: "function";
+    }>, call: CallExpression, flow: Flow, _context: CheckContext): Map<string, Type>;
+    inferFromPattern(this: TypeChecker, pattern: Type, actual: Type, substitutions: Map<string, Type>, names: ReadonlySet<string>): void;
+    substitute(this: TypeChecker, type: Type, substitutions: ReadonlyMap<string, Type>): Type;
+    lookupProperty(this: TypeChecker, base: Type, name: string): {
+        type: Type;
+        missing: boolean;
+    };
+    lookupIn(this: TypeChecker, type: Type, name: string): Type | undefined;
+}
+export declare const typeCheckerMembers: TypeCheckerMembers;