@adobe/ecs 0.0.0-stage → 0.1.0

package/dist/implementation/compiler/body-access.js

@@ -0,0 +1,377 @@
+import { children, declaredIn, patternNames } from './estree.js';
+const unknown = { query: null, resources: null, lookups: null };
+/** Whether `node`, a child of `parent`, names a property or label, or declares a binding, rather than referring to one. */
+const isName = (node, parent) => {
+    switch (parent?.type) {
+        case "MemberExpression": return parent.property === node && !parent.computed;
+        case "Property": return parent.key === node && !parent.computed && !parent.shorthand;
+        case "MethodDefinition":
+        case "PropertyDefinition": return parent.key === node && !parent.computed;
+        case "LabeledStatement":
+        case "BreakStatement":
+        case "ContinueStatement": return true;
+        case "VariableDeclarator": return parent.id === node;
+        default: return false;
+    }
+};
+/** How `member`, a `name[key]` expression, is used: read, written, or both; null when it's a destructuring target or deleted. */
+const useOf = (member, parent) => {
+    switch (parent?.type) {
+        case "AssignmentExpression":
+            return parent.left !== member ? { read: true, write: false } : { read: parent.operator !== "=", write: true };
+        case "UpdateExpression": return { read: true, write: true };
+        case "UnaryExpression": return parent.operator === "delete" ? null : { read: true, write: false };
+        case "ArrayPattern":
+        case "RestElement":
+        case "AssignmentPattern":
+        case "ForInStatement":
+        case "ForOfStatement":
+            return null;
+        case "Property": return parent.value === member && parent.shorthand ? null : { read: true, write: false };
+        default: return { read: true, write: false };
+    }
+};
+/** Whether a lookup result `value`, a child of `parent`, is only tested: compared with null, or used as a condition. */
+const isTested = (value, parent) => {
+    switch (parent?.type) {
+        case "BinaryExpression": {
+            const other = parent.left === value ? parent.right : parent.left;
+            return ["===", "!==", "==", "!="].includes(parent.operator) && other.type === "Literal" && other.value === null;
+        }
+        case "IfStatement":
+        case "ConditionalExpression":
+        case "WhileStatement": return parent.test === value;
+        case "UnaryExpression": return parent.operator === "!";
+        case "LogicalExpression": return parent.operator === "&&" && parent.left === value;
+        default: return false;
+    }
+};
+const isFunctionBody = (node) => node.type === "ArrowFunctionExpression" || node.type === "FunctionExpression";
+const mentions = (node, name) => (node.type === "Identifier" && node.name === name) || children(node).some(child => mentions(child, name));
+/** The plain names of a declaration's lookups, or null when `lookup` isn't an object literal of them. */
+const lookupNames = (declaration) => {
+    const lookup = declaration.properties.find(property => property.type === "Property" && !property.computed && property.key.type === "Identifier" && property.key.name === "lookup");
+    if (lookup === undefined)
+        return [];
+    if (lookup.type !== "Property" || lookup.value.type !== "ObjectExpression")
+        return null;
+    const names = lookup.value.properties.map(property => property.type === "Property" && !property.computed && property.key.type === "Identifier" ? property.key.name : null);
+    return names.every(name => name !== null) ? names.filter(name => name !== null) : null;
+};
+/** The names of a declaration's lookups through an index: those declared as an object literal with `index`. */
+const indexLookupNames = (declaration) => {
+    const lookup = declaration.properties.find(property => property.type === "Property" && !property.computed && property.key.type === "Identifier" && property.key.name === "lookup");
+    if (lookup?.type !== "Property" || lookup.value.type !== "ObjectExpression")
+        return new Set();
+    return new Set(lookup.value.properties.flatMap(property => property.type === "Property" && !property.computed && property.key.type === "Identifier" && property.value.type === "ObjectExpression"
+        && property.value.properties.some(field => field.type === "Property" && !field.computed && field.key.type === "Identifier" && field.key.name === "index")
+        ? [property.key.name] : []));
+};
+const isGroup = (name) => name === "resources" || name === "lookup" || name === "reduce";
+/**
+ * What a main-thread body reads, writes and contributes to through its row and context, for the parts where every use
+ * shows in its source. `row` and `context` are the indexes of those parameters, or -1 for none. The row and the
+ * context's `resources`, `lookup` and `reduce` are indexed only by module-scope keys the body doesn't shadow, or
+ * destructured by them, and never passed on, aliased or spread. A lookup's results are followed where each is indexed
+ * by such keys or tested, directly or through a `const` declared once; a lookup through an index's lists where they're
+ * read for `length` and `changed`, and their rows from `at` as a lookup's results are.
+ */
+export const usedBy = (declaration, body, module, positions) => {
+    if (!isFunctionBody(body))
+        return unknown;
+    if (body.type === "FunctionExpression" && mentions(body.body, "arguments"))
+        return unknown;
+    const counts = new Map();
+    declaredIn(body.body, name => counts.set(name, (counts.get(name) ?? 0) + 1));
+    const parameters = new Set(body.params.flatMap(parameter => patternNames(parameter)));
+    const isKey = (name) => module.has(name) && !counts.has(name) && !parameters.has(name);
+    const lookups = lookupNames(declaration);
+    const indexed = indexLookupNames(declaration);
+    const query = { read: new Set(), write: new Set() };
+    const resources = { read: new Set(), write: new Set(), reduce: new Set() };
+    const lookupReads = new Map((lookups ?? []).map(name => [name, new Set()]));
+    let queryKnown = true;
+    let resourcesKnown = true;
+    let lookupsKnown = lookups !== null;
+    const unknownLookup = (lookup) => { lookupReads.set(lookup, null); };
+    const unknownGroup = (group) => {
+        if (group === "lookup")
+            lookupsKnown = false;
+        else
+            resourcesKnown = false;
+    };
+    /** Names bound to a context group, to a lookup function, or to a lookup's result. */
+    const groups = new Map();
+    const callers = new Map();
+    const results = new Map();
+    /** Names bound to a row an index lookup's list gave, by lookup. */
+    const rows = new Map();
+    /** The initializers `collect` followed: the context or a group, destructured or bound to a name. */
+    const followed = new Set();
+    /** Reads `pattern`'s computed module-scope keys; false when it does anything else. Named properties go to `named`. */
+    const destructure = (pattern, named, keyed) => {
+        if (pattern.type !== "ObjectPattern")
+            return false;
+        for (const property of pattern.properties) {
+            if (property.type === "RestElement" || property.key.type !== "Identifier")
+                return false;
+            if (!property.computed) {
+                if (!named(property.key.name, property.value))
+                    return false;
+            }
+            else if (isKey(property.key.name))
+                keyed(property.key.name);
+            else
+                return false;
+        }
+        return true;
+    };
+    const rowNamed = (property) => property === "entity";
+    const lookupNamed = (property, value) => {
+        if (lookups === null || !lookups.includes(property))
+            return false;
+        if (value.type === "Identifier" && counts.get(value.name) === (parameters.has(value.name) ? undefined : 1))
+            callers.set(value.name, property);
+        else
+            unknownLookup(property);
+        return true;
+    };
+    /** Destructures a group: lookups by name, resources by key as reads, and reductions not at all. */
+    const destructureGroup = (group, pattern) => {
+        if (group === "lookup") {
+            if (!destructure(pattern, lookupNamed, () => { lookupsKnown = false; }))
+                lookupsKnown = false;
+        }
+        else if (group === "resources") {
+            if (!destructure(pattern, () => false, key => resources.read.add(key)))
+                resourcesKnown = false;
+        }
+        else
+            resourcesKnown = false;
+    };
+    /** Binds the context's groups from a destructuring of it; `declaredOnce` says whether a bound name is safe to follow. */
+    const contextNamed = (declaredOnce) => (property, value) => {
+        if (!isGroup(property))
+            return true;
+        if (value.type === "Identifier" && declaredOnce(value.name))
+            groups.set(value.name, property);
+        else if (value.type === "ObjectPattern")
+            destructureGroup(property, value);
+        else
+            unknownGroup(property);
+        return true;
+    };
+    const unknownContext = () => {
+        resourcesKnown = false;
+        lookupsKnown = false;
+    };
+    const row = positions.row < 0 ? undefined : body.params[positions.row];
+    const context = positions.context < 0 ? undefined : body.params[positions.context];
+    const rowName = row?.type === "Identifier" && !counts.has(row.name) ? row.name : null;
+    const contextName = context?.type === "Identifier" && !counts.has(context.name) ? context.name : null;
+    if (row !== undefined && rowName === null && !destructure(row, rowNamed, key => query.read.add(key)))
+        queryKnown = false;
+    if (context !== undefined && contextName === null && !destructure(context, contextNamed(name => !counts.has(name)), () => unknownContext()))
+        unknownContext();
+    /** A lookup's row `value`, a child of `ancestors[at]`: indexed by a key, read for `entity`, bound to a `const`, or tested. */
+    const rowOf = (lookup, value, ancestors, at) => {
+        const parent = ancestors[at];
+        if (parent?.type === "MemberExpression" && parent.object === value) {
+            if (parent.computed && parent.property.type === "Identifier" && isKey(parent.property.name))
+                lookupReads.get(lookup)?.add(parent.property.name);
+            else if (!(indexed.has(lookup) && !parent.computed && parent.property.type === "Identifier" && parent.property.name === "entity"))
+                unknownLookup(lookup);
+        }
+        else if (parent?.type === "VariableDeclarator" && parent.init === value && parent.id.type === "Identifier"
+            && (results.get(parent.id.name) === lookup || rows.get(parent.id.name) === lookup))
+            return;
+        else if (!isTested(value, parent))
+            unknownLookup(lookup);
+    };
+    /**
+     * A lookup's result `value`, a child of `ancestors[at]`: a row as `rowOf` takes it, or an index lookup's list, read
+     * for `length` and `changed`, its rows from `at` taken as rows.
+     */
+    const result = (lookup, value, ancestors, at) => {
+        const parent = ancestors[at];
+        if (indexed.has(lookup) && parent?.type === "MemberExpression" && parent.object === value && !parent.computed && parent.property.type === "Identifier") {
+            const { name } = parent.property;
+            if (name === "length" || name === "changed")
+                return;
+            const call = ancestors[at - 1];
+            if (name === "at" && call?.type === "CallExpression" && call.callee === parent)
+                return rowOf(lookup, call, ancestors, at - 2);
+        }
+        rowOf(lookup, value, ancestors, at);
+    };
+    /** A reference to a lookup's function, `callee`, a child of `ancestors[at]`. */
+    const called = (lookup, callee, ancestors, at) => {
+        const parent = ancestors[at];
+        if (parent?.type === "CallExpression" && parent.callee === callee)
+            result(lookup, parent, ancestors, at - 1);
+        else
+            unknownLookup(lookup);
+    };
+    /** The group `node` is: a name bound to one, or `context.group`. */
+    const groupAt = (node) => {
+        if (node.type === "Identifier")
+            return groups.get(node.name);
+        if (node.type === "MemberExpression" && !node.computed && node.object.type === "Identifier" && node.object.name === contextName
+            && node.property.type === "Identifier" && isGroup(node.property.name))
+            return node.property.name;
+        return undefined;
+    };
+    /** The lookup a call calls, when it's a lookup's function by name or through its group. */
+    const calledLookup = (call) => {
+        if (call.type !== "CallExpression")
+            return undefined;
+        const { callee } = call;
+        if (callee.type === "Identifier")
+            return callers.get(callee.name);
+        if (callee.type === "MemberExpression" && !callee.computed && groupAt(callee.object) === "lookup"
+            && callee.property.type === "Identifier" && lookups?.includes(callee.property.name))
+            return callee.property.name;
+        return undefined;
+    };
+    /** The index lookup whose list's `at` a call calls: on a name bound to the list, or on the lookup's call itself. */
+    const rowCall = (call) => {
+        if (call.type !== "CallExpression" || call.callee.type !== "MemberExpression" || call.callee.computed
+            || call.callee.property.type !== "Identifier" || call.callee.property.name !== "at")
+            return undefined;
+        const list = call.callee.object;
+        const lookup = list.type === "Identifier" ? results.get(list.name) : calledLookup(list);
+        return lookup !== undefined && indexed.has(lookup) ? lookup : undefined;
+    };
+    /** Finds groups and lookups bound by `const` declarations declared once, and `const`s holding a lookup's result, before any reference is classified. */
+    const collect = (node, kind) => {
+        if (node.type === "VariableDeclarator" && kind === "const" && node.init) {
+            const once = (name) => counts.get(name) === 1;
+            const group = groupAt(node.init);
+            if (node.id.type === "Identifier" && once(node.id.name)) {
+                const lookup = calledLookup(node.init);
+                if (lookup !== undefined)
+                    results.set(node.id.name, lookup);
+                const listed = rowCall(node.init);
+                if (listed !== undefined)
+                    rows.set(node.id.name, listed);
+                if (group !== undefined) {
+                    groups.set(node.id.name, group);
+                    followed.add(node.init);
+                }
+            }
+            else if (node.init.type === "Identifier" && node.init.name === contextName) {
+                if (destructure(node.id, contextNamed(once), () => unknownContext()))
+                    followed.add(node.init);
+            }
+            else if (group !== undefined) {
+                destructureGroup(group, node.id);
+                followed.add(node.init);
+            }
+        }
+        for (const child of children(node))
+            collect(child, node.type === "VariableDeclaration" ? node.kind : kind);
+    };
+    collect(body.body, undefined);
+    /** A use of group `group` at `node`, a child of `ancestors[at]`. */
+    const useGroup = (group, node, ancestors, at) => {
+        if (followed.has(node))
+            return;
+        const parent = ancestors[at];
+        const grandparent = ancestors[at - 1];
+        if (parent?.type !== "MemberExpression" || parent.object !== node)
+            return unknownGroup(group);
+        const { property } = parent;
+        if (group === "lookup") {
+            if (!parent.computed && property.type === "Identifier" && lookups?.includes(property.name))
+                called(property.name, parent, ancestors, at - 1);
+            else
+                lookupsKnown = false;
+            return;
+        }
+        if (!parent.computed || property.type !== "Identifier" || !isKey(property.name))
+            return unknownGroup(group);
+        if (group === "reduce") {
+            if (grandparent?.type === "CallExpression" && grandparent.callee === parent)
+                resources.reduce.add(property.name);
+            else
+                resourcesKnown = false;
+            return;
+        }
+        const use = useOf(parent, grandparent);
+        if (use === null)
+            return unknownGroup(group);
+        if (use.read)
+            resources.read.add(property.name);
+        if (use.write)
+            resources.write.add(property.name);
+    };
+    /** Classifies a reference; `ancestors` ends with its parent. */
+    const reference = (node, ancestors) => {
+        const { name } = node;
+        const parent = ancestors.at(-1);
+        const grandparent = ancestors.at(-2);
+        if (name === rowName) {
+            if (parent?.type === "MemberExpression" && parent.object === node) {
+                const { property } = parent;
+                if (!parent.computed) {
+                    if (property.type !== "Identifier" || !rowNamed(property.name))
+                        queryKnown = false;
+                    return;
+                }
+                const use = property.type === "Identifier" && isKey(property.name) ? useOf(parent, grandparent) : null;
+                if (use === null || property.type !== "Identifier")
+                    queryKnown = false;
+                else {
+                    if (use.read)
+                        query.read.add(property.name);
+                    if (use.write)
+                        query.write.add(property.name);
+                }
+            }
+            else if (!(parent?.type === "VariableDeclarator" && parent.init === node && destructure(parent.id, rowNamed, key => query.read.add(key))))
+                queryKnown = false;
+        }
+        else if (name === contextName) {
+            if (parent?.type === "MemberExpression" && parent.object === node && !parent.computed && parent.property.type === "Identifier") {
+                const property = parent.property.name;
+                if (isGroup(property))
+                    useGroup(property, parent, ancestors, ancestors.length - 2);
+                return;
+            }
+            if (!followed.has(node))
+                unknownContext();
+        }
+        else {
+            const at = ancestors.length - 1;
+            const group = groups.get(name);
+            if (group !== undefined)
+                return useGroup(group, node, ancestors, at);
+            const caller = callers.get(name);
+            if (caller !== undefined)
+                return called(caller, node, ancestors, at);
+            const lookup = results.get(name);
+            if (lookup !== undefined)
+                return result(lookup, node, ancestors, at);
+            const row = rows.get(name);
+            if (row !== undefined)
+                rowOf(row, node, ancestors, at);
+        }
+    };
+    const ancestors = [];
+    /** A declaration's target pattern only binds names, so only its initializer holds references. */
+    const visit = (node) => {
+        if (node.type === "Identifier" && !isName(node, ancestors.at(-1)))
+            reference(node, ancestors);
+        ancestors.push(node);
+        for (const child of node.type === "VariableDeclarator" ? (node.init === null || node.init === undefined ? [] : [node.init]) : children(node))
+            visit(child);
+        ancestors.pop();
+    };
+    visit(body.body);
+    return {
+        query: queryKnown ? query : null,
+        resources: resourcesKnown ? resources : null,
+        lookups: lookupsKnown ? lookupReads : null,
+    };
+};
+//# sourceMappingURL=body-access.js.map

package/dist/implementation/compiler/body-access.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"body-access.js","sourceRoot":"","sources":["../../../src/implementation/compiler/body-access.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAIjE,MAAM,OAAO,GAAS,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAEtE,2HAA2H;AAC3H,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,MAAwB,EAAW,EAAE;IAC7D,QAAQ,MAAM,EAAE,IAAI,EAAE,CAAC;QACnB,KAAK,kBAAkB,CAAC,CAAC,OAAO,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC7E,KAAK,UAAU,CAAC,CAAC,OAAO,MAAM,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC;QACrF,KAAK,kBAAkB,CAAC;QAAC,KAAK,oBAAoB,CAAC,CAAC,OAAO,MAAM,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QACnG,KAAK,kBAAkB,CAAC;QAAC,KAAK,gBAAgB,CAAC;QAAC,KAAK,mBAAmB,CAAC,CAAC,OAAO,IAAI,CAAC;QACtF,KAAK,oBAAoB,CAAC,CAAC,OAAO,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC;QACrD,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC;IAC1B,CAAC;AACL,CAAC,CAAC;AAEF,iIAAiI;AACjI,MAAM,KAAK,GAAG,CAAC,MAAY,EAAE,MAAwB,EAA8D,EAAE;IACjH,QAAQ,MAAM,EAAE,IAAI,EAAE,CAAC;QACnB,KAAK,sBAAsB;YACvB,OAAO,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,KAAK,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAClH,KAAK,kBAAkB,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC5D,KAAK,iBAAiB,CAAC,CAAC,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAClG,KAAK,cAAc,CAAC;QAAC,KAAK,aAAa,CAAC;QAAC,KAAK,mBAAmB,CAAC;QAAC,KAAK,gBAAgB,CAAC;QAAC,KAAK,gBAAgB;YAC3G,OAAO,IAAI,CAAC;QAChB,KAAK,UAAU,CAAC,CAAC,OAAO,MAAM,CAAC,KAAK,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAC1G,OAAO,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACjD,CAAC;AACL,CAAC,CAAC;AAEF,wHAAwH;AACxH,MAAM,QAAQ,GAAG,CAAC,KAAW,EAAE,MAAwB,EAAW,EAAE;IAChE,QAAQ,MAAM,EAAE,IAAI,EAAE,CAAC;QACnB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACtB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YACjE,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC;QACpH,CAAC;QACD,KAAK,aAAa,CAAC;QAAC,KAAK,uBAAuB,CAAC;QAAC,KAAK,gBAAgB,CAAC,CAAC,OAAO,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC;QACtG,KAAK,iBAAiB,CAAC,CAAC,OAAO,MAAM,CAAC,QAAQ,KAAK,GAAG,CAAC;QACvD,KAAK,mBAAmB,CAAC,CAAC,OAAO,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC;QACnF,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC;IAC1B,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,IAAU,EAAsF,EAAE,CACtH,IAAI,CAAC,IAAI,KAAK,yBAAyB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,CAAC;AAElF,MAAM,QAAQ,GAAG,CAAC,IAAU,EAAE,IAAY,EAAW,EAAE,CACnD,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAE9G,yGAAyG;AACzG,MAAM,WAAW,GAAG,CAAC,WAA6B,EAA4B,EAAE;IAC5E,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAClD,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IAChI,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACpC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,IAAI,CAAC;IACxF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CACjD,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACzH,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3F,CAAC,CAAC;AAEF,+GAA+G;AAC/G,MAAM,gBAAgB,GAAG,CAAC,WAA6B,EAAuB,EAAE;IAC5E,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAClD,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IAChI,IAAI,MAAM,EAAE,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAC9F,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CACtD,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB;WAC/H,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC;QACzJ,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACzC,CAAC,CAAC;AAIF,MAAM,OAAO,GAAG,CAAC,IAAY,EAAiB,EAAE,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,CAAC;AAEhH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,WAA6B,EAAE,IAAU,EAAE,MAAmB,EAAE,SAA6D,EAAQ,EAAE;IAC1J,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC;IAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC;QAAE,OAAO,OAAO,CAAC;IAC3F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,KAAK,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxG,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAE9C,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,EAAU,EAAE,KAAK,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;IACpE,MAAM,SAAS,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,EAAU,EAAE,KAAK,EAAE,IAAI,GAAG,EAAU,EAAE,MAAM,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;IACnG,MAAM,WAAW,GAAG,IAAI,GAAG,CAA6B,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC,CAAC,CAAC;IAChH,IAAI,UAAU,GAAG,IAAI,CAAC;IACtB,IAAI,cAAc,GAAG,IAAI,CAAC;IAC1B,IAAI,YAAY,GAAG,OAAO,KAAK,IAAI,CAAC;IACpC,MAAM,aAAa,GAAG,CAAC,MAAc,EAAQ,EAAE,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,YAAY,GAAG,CAAC,KAAY,EAAQ,EAAE;QACxC,IAAI,KAAK,KAAK,QAAQ;YAAE,YAAY,GAAG,KAAK,CAAC;;YACxC,cAAc,GAAG,KAAK,CAAC;IAChC,CAAC,CAAC;IAEF,qFAAqF;IACrF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,mEAAmE;IACnE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,oGAAoG;IACpG,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAQ,CAAC;IAEjC,sHAAsH;IACtH,MAAM,WAAW,GAAG,CAAC,OAAgB,EAAE,KAAoD,EAAE,KAA4B,EAAW,EAAE;QAClI,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe;YAAE,OAAO,KAAK,CAAC;QACnD,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACxC,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;gBAAE,OAAO,KAAK,CAAC;YACxF,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACrB,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;YAChE,CAAC;iBACI,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;;gBACvD,OAAO,KAAK,CAAC;QACtB,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,QAAgB,EAAW,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC;IACtE,MAAM,WAAW,GAAG,CAAC,QAAgB,EAAE,KAAc,EAAW,EAAE;QAC9D,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QAClE,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;;YACzI,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC7B,OAAO,IAAI,CAAC;IAChB,CAAC,CAAC;IACF,mGAAmG;IACnG,MAAM,gBAAgB,GAAG,CAAC,KAAY,EAAE,OAAgB,EAAQ,EAAE;QAC9D,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;YACrB,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,YAAY,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAAE,YAAY,GAAG,KAAK,CAAC;QAClG,CAAC;aACI,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;YAC7B,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAAE,cAAc,GAAG,KAAK,CAAC;QACnG,CAAC;;YACI,cAAc,GAAG,KAAK,CAAC;IAChC,CAAC,CAAC;IACF,yHAAyH;IACzH,MAAM,YAAY,GAAG,CAAC,YAAuC,EAAE,EAAE,CAAC,CAAC,QAAgB,EAAE,KAAc,EAAW,EAAE;QAC5G,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;aACzF,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;YAAE,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;;YACtE,YAAY,CAAC,QAAQ,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC;IAChB,CAAC,CAAC;IACF,MAAM,cAAc,GAAG,GAAS,EAAE;QAC9B,cAAc,GAAG,KAAK,CAAC;QACvB,YAAY,GAAG,KAAK,CAAC;IACzB,CAAC,CAAC;IAEF,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACnF,MAAM,OAAO,GAAG,GAAG,EAAE,IAAI,KAAK,YAAY,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACtF,MAAM,WAAW,GAAG,OAAO,EAAE,IAAI,KAAK,YAAY,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACtG,IAAI,GAAG,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAAE,UAAU,GAAG,KAAK,CAAC;IACzH,IAAI,OAAO,KAAK,SAAS,IAAI,WAAW,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,cAAc,EAAE,CAAC;QAAE,cAAc,EAAE,CAAC;IAE9J,8HAA8H;IAC9H,MAAM,KAAK,GAAG,CAAC,MAAc,EAAE,KAAW,EAAE,SAA0B,EAAE,EAAU,EAAQ,EAAE;QACxF,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;YACjE,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;iBAC3I,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;gBAAE,aAAa,CAAC,MAAM,CAAC,CAAC;QAC7J,CAAC;aACI,IAAI,MAAM,EAAE,IAAI,KAAK,oBAAoB,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY;eACnG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC;YAAE,OAAO;aAC1F,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;YAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7D,CAAC,CAAC;IACF;;;OAGG;IACH,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,KAAW,EAAE,SAA0B,EAAE,EAAU,EAAQ,EAAE;QACzF,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACrJ,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;YACjC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO;YACpD,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC/B,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,EAAE,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;gBAAE,OAAO,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;QAClI,CAAC;QACD,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC;IACF,gFAAgF;IAChF,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,MAAY,EAAE,SAA0B,EAAE,EAAU,EAAQ,EAAE;QAC1F,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,MAAM,EAAE,IAAI,KAAK,gBAAgB,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM;YAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;;YACxG,aAAa,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,oEAAoE;IACpE,MAAM,OAAO,GAAG,CAAC,IAAU,EAAqB,EAAE;QAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW;eACxH,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QACrG,OAAO,SAAS,CAAC;IACrB,CAAC,CAAC;IACF,2FAA2F;IAC3F,MAAM,YAAY,GAAG,CAAC,IAAU,EAAsB,EAAE;QACpD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;YAAE,OAAO,SAAS,CAAC;QACrD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QACxB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClE,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,QAAQ;eAC1F,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;QACrH,OAAO,SAAS,CAAC;IACrB,CAAC,CAAC;IACF,oHAAoH;IACpH,MAAM,OAAO,GAAG,CAAC,IAAU,EAAsB,EAAE;QAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ;eAC9F,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QAC1G,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACxF,OAAO,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,CAAC,CAAC;IACF,wJAAwJ;IACxJ,MAAM,OAAO,GAAG,CAAC,IAAU,EAAE,IAAwB,EAAQ,EAAE;QAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACtE,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC/D,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,MAAM,KAAK,SAAS;oBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClC,IAAI,MAAM,KAAK,SAAS;oBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACzD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACtB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBAChC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5B,CAAC;YACL,CAAC;iBACI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACzE,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,cAAc,EAAE,CAAC;oBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClG,CAAC;iBACI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC3B,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;gBACjC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5B,CAAC;QACL,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/G,CAAC,CAAC;IACF,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAE9B,oEAAoE;IACpE,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,IAAU,EAAE,SAA0B,EAAE,EAAU,EAAQ,EAAE;QACxF,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC/B,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,WAAW,GAAG,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACtC,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI;YAAE,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;QAC9F,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;QAC5B,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;YACrB,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;;gBACxI,YAAY,GAAG,KAAK,CAAC;YAC1B,OAAO;QACX,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;QAC5G,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;YACrB,IAAI,WAAW,EAAE,IAAI,KAAK,gBAAgB,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM;gBAAE,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;;gBAC5G,cAAc,GAAG,KAAK,CAAC;YAC5B,OAAO;QACX,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACvC,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,GAAG,CAAC,IAAI;YAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,GAAG,CAAC,KAAK;YAAE,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC;IAEF,gEAAgE;IAChE,MAAM,SAAS,GAAG,CAAC,IAA4C,EAAE,SAA0B,EAAQ,EAAE;QACjG,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;QACtB,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,WAAW,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACnB,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;gBAChE,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;gBAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;oBACnB,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;wBAAE,UAAU,GAAG,KAAK,CAAC;oBACnF,OAAO;gBACX,CAAC;gBACD,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACvG,IAAI,GAAG,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY;oBAAE,UAAU,GAAG,KAAK,CAAC;qBAClE,CAAC;oBACF,IAAI,GAAG,CAAC,IAAI;wBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;oBAC5C,IAAI,GAAG,CAAC,KAAK;wBAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAClD,CAAC;YACL,CAAC;iBACI,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,KAAK,oBAAoB,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,WAAW,CAAC,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,UAAU,GAAG,KAAK,CAAC;QAClK,CAAC;aACI,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YAC5B,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC7H,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACtC,IAAI,OAAO,CAAC,QAAQ,CAAC;oBAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBACnF,OAAO;YACX,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,cAAc,EAAE,CAAC;QAC9C,CAAC;aACI,CAAC;YACF,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;YAChC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;YACrE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;YACrE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;YACrE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,GAAG,KAAK,SAAS;gBAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;QAC3D,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,SAAS,GAAW,EAAE,CAAC;IAC7B,iGAAiG;IACjG,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC9F,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3J,SAAS,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,OAAO;QACH,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;QAChC,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI;QAC5C,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI;KAC7C,CAAC;AACN,CAAC,CAAC"}

package/dist/implementation/compiler/booleans.d.ts

@@ -0,0 +1,8 @@
+import type { Expression, Statement } from './ir.js';
+import type { Unit } from './unit.js';
+/** Marks a value for an observable position. */
+export declare const observe: (unit: Unit, value: Expression) => Expression;
+/** Records an assignment, so observing the local later also observes its sources. */
+export declare const record: (unit: Unit, local: number, value: Expression) => void;
+/** `local = value`, recorded. */
+export declare const set: (unit: Unit, local: number, value: Expression, declare: "const" | "let" | undefined) => Statement;

package/dist/implementation/compiler/booleans.js

@@ -0,0 +1,35 @@
+import { references } from './ir.js';
+/**
+ * Column reads print as plain `c{k}[i]`, since a 0/1 number behaves like a boolean in most positions. Where a
+ * boolean's identity is observable (`===`, `!==`, command values) reads convert, along with every local whose
+ * value flows there.
+ */
+const observeLocals = (unit, expression) => {
+    references(expression, node => {
+        if (node.kind === "local" && !unit.observed.has(node.local)) {
+            unit.observed.add(node.local);
+            for (const source of unit.assignments.get(node.local) ?? [])
+                observeLocals(unit, source);
+        }
+        return false;
+    });
+};
+/** Marks a value for an observable position. */
+export const observe = (unit, value) => {
+    observeLocals(unit, value);
+    return { kind: "observe", value };
+};
+/** Records an assignment, so observing the local later also observes its sources. */
+export const record = (unit, local, value) => {
+    const assigned = unit.assignments.get(local) ?? [];
+    assigned.push(value);
+    unit.assignments.set(local, assigned);
+    if (unit.observed.has(local))
+        observeLocals(unit, value);
+};
+/** `local = value`, recorded. */
+export const set = (unit, local, value, declare) => {
+    record(unit, local, value);
+    return { kind: "set", local, value, declare };
+};
+//# sourceMappingURL=booleans.js.map

package/dist/implementation/compiler/booleans.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"booleans.js","sourceRoot":"","sources":["../../../src/implementation/compiler/booleans.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAGrC;;;;GAIG;AACH,MAAM,aAAa,GAAG,CAAC,IAAU,EAAE,UAAsB,EAAQ,EAAE;IAC/D,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE;gBAAE,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7F,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC,CAAC,CAAC;AACP,CAAC,CAAC;AAEF,gDAAgD;AAChD,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAU,EAAE,KAAiB,EAAc,EAAE;IACjE,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AACtC,CAAC,CAAC;AAEF,qFAAqF;AACrF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,KAAa,EAAE,KAAiB,EAAQ,EAAE;IACzE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IACnD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC7D,CAAC,CAAC;AAEF,iCAAiC;AACjC,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,IAAU,EAAE,KAAa,EAAE,KAAiB,EAAE,OAAoC,EAAa,EAAE;IACjH,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAClD,CAAC,CAAC"}

package/dist/implementation/compiler/branches.d.ts

@@ -0,0 +1,16 @@
+import type { Node } from 'estree';
+import { type Data } from './data.js';
+import { type Expression } from './ir.js';
+import type { Out } from './out.js';
+import type { Scope } from './scope.js';
+import type { Value } from './value.js';
+/** Declares `let` locals for data's leaves, and returns them as data plus an assignment of other data to them. */
+export declare const temporaries: (data: Data, scope: Scope, out: Out) => {
+    readonly result: Data;
+    readonly assign: (source: Data) => Out;
+};
+/**
+ * The value of choosing between two branches on `test`: each leaf a conditional when neither branch emitted
+ * statements, else an `if` assigning temporaries.
+ */
+export declare const mergeBranches: (node: Node, test: Expression, consequent: Data, consequentOut: Out, alternate: Data, alternateOut: Out, scope: Scope, out: Out) => Value;

package/dist/implementation/compiler/branches.js

@@ -0,0 +1,38 @@
+import { set } from './booleans.js';
+import { dataValue, leavesOf, mapLeaves, sameShape } from './data.js';
+import { fail } from './failure.js';
+import { local } from './ir.js';
+import { fresh } from './unit.js';
+const isTrivial = (expression) => expression.kind === "local" || expression.kind === "number" || expression.kind === "boolean";
+/** Declares `let` locals for data's leaves, and returns them as data plus an assignment of other data to them. */
+export const temporaries = (data, scope, out) => {
+    const locals = leavesOf(data).map(() => fresh(scope.unit, "t"));
+    let index = 0;
+    const result = mapLeaves(data, () => local(locals[index++]));
+    out.push({ kind: "declare", locals });
+    return { result, assign: source => leavesOf(source).map((leaf, leafIndex) => set(scope.unit, locals[leafIndex], leaf.expression, undefined)) };
+};
+/**
+ * The value of choosing between two branches on `test`: each leaf a conditional when neither branch emitted
+ * statements, else an `if` assigning temporaries.
+ */
+export const mergeBranches = (node, test, consequent, consequentOut, alternate, alternateOut, scope, out) => {
+    const unit = scope.unit;
+    if (!sameShape(consequent, alternate))
+        return fail(node, "both branches must have the same shape");
+    if (consequentOut.length === 0 && alternateOut.length === 0) {
+        let condition = test;
+        if (consequent.kind !== "leaf" && !isTrivial(test)) {
+            const name = fresh(unit, "test");
+            out.push(set(unit, name, test, "const"));
+            condition = local(name);
+        }
+        const alternateLeaves = leavesOf(alternate);
+        let index = 0;
+        return dataValue(mapLeaves(consequent, expression => ({ kind: "conditional", test: condition, consequent: expression, alternate: alternateLeaves[index++].expression })));
+    }
+    const { result, assign } = temporaries(consequent, scope, out);
+    out.push({ kind: "if", test, consequent: [...consequentOut, ...assign(consequent)], alternate: [...alternateOut, ...assign(alternate)] });
+    return dataValue(result);
+};
+//# sourceMappingURL=branches.js.map

package/dist/implementation/compiler/branches.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"branches.js","sourceRoot":"","sources":["../../../src/implementation/compiler/branches.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAa,MAAM,WAAW,CAAC;AACjF,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AACpC,OAAO,EAAE,KAAK,EAAmB,MAAM,SAAS,CAAC;AAGjD,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAGlC,MAAM,SAAS,GAAG,CAAC,UAAsB,EAAW,EAAE,CAClD,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC;AAEjG,kHAAkH;AAClH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAU,EAAE,KAAY,EAAE,GAAQ,EAAqE,EAAE;IACjI,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAChE,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7D,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;IACtC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;AACnJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAU,EAAE,IAAgB,EAAE,UAAgB,EAAE,aAAkB,EAAE,SAAe,EAAE,YAAiB,EAAE,KAAY,EAAE,GAAQ,EAAS,EAAE;IACnK,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,wCAAwC,CAAC,CAAC;IACnG,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,IAAI,SAAS,GAAG,IAAI,CAAC;QACrB,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACjC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;YACzC,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,MAAM,eAAe,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,OAAO,SAAS,CAAC,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAChD,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7H,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,WAAW,CAAC,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/D,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,GAAG,aAAa,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,YAAY,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1I,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC,CAAC"}

package/dist/implementation/compiler/calls.d.ts

@@ -0,0 +1,6 @@
+import type { SimpleCallExpression } from 'estree';
+import type { Out } from './out.js';
+import { type Scope } from './scope.js';
+import { type Value } from './value.js';
+/** Compiles a call: a `Math` function, a command, a lookup, a reduction or a helper. */
+export declare const call: (node: SimpleCallExpression, scope: Scope, out: Out) => Value;