@hyperscale0/hsx 2.4.0 → 3.0.0

package/dist/src/modules.js

@@ -1,372 +0,0 @@
-import { lineColIn, lineIndex } from "./ast.js";
-import { parseProgram } from "./parse.js";
-import { bundledStandardLibrary } from "./std-library.js";
-const moduleBudget = 64;
-export function resolveProgramModules(program, host = {}) {
-    const loaded = new Map();
-    const resolving = new Set();
-    const seenModules = new Set();
-    const issues = [];
-    const origins = new Map();
-    const resolveImports = (current, from) => {
-        const appended = [];
-        const appendedKeys = new Set();
-        const exportSourceByName = new Map();
-        const imports = current.decls.filter((decl) => decl.kind === "import");
-        for (const declaration of imports) {
-            const requested = declaration.names.map((name) => name.name);
-            const stdLib = host.standardLibrary ?? bundledStandardLibrary;
-            const sources = standardSources(stdLib, declaration.from.value, requested);
-            const custom = sources.length === 0
-                ? host.resolveModule?.(declaration.from.value, from)
-                : undefined;
-            const modules = custom ? [custom] : sources;
-            if (modules.length === 0) {
-                issues.push({
-                    code: "HSX1006",
-                    fix: "correct the module specifier or provide a deterministic module resolver",
-                    message: `module ${declaration.from.value} cannot be resolved`,
-                    span: declaration.from.span,
-                });
-                continue;
-            }
-            const resolvedNames = new Set();
-            for (const module of modules) {
-                let moduleProgram = loaded.get(module.name);
-                if (!moduleProgram) {
-                    if (resolving.has(module.name)) {
-                        issues.push({
-                            code: "HSX1006",
-                            fix: "remove the cyclic module import",
-                            message: `module graph has a cycle through ${module.name}`,
-                            span: declaration.span,
-                        });
-                        continue;
-                    }
-                    resolving.add(module.name);
-                    seenModules.add(module.name);
-                    if (seenModules.size > moduleBudget) {
-                        issues.push({
-                            code: "HSX1006",
-                            fix: `import no more than ${moduleBudget} modules`,
-                            message: `the module graph exceeds ${moduleBudget} modules`,
-                            span: declaration.span,
-                        });
-                        resolving.delete(module.name);
-                        continue;
-                    }
-                    const parsed = parseProgram(module.source);
-                    if (parsed.diagnostics.length > 0) {
-                        issues.push({
-                            code: "HSX1006",
-                            fix: `fix the parse error in module ${module.name}`,
-                            message: `module ${module.name} does not parse: ${parsed.diagnostics[0]?.message ?? "unknown parse error"}`,
-                            span: declaration.from.span,
-                        });
-                        resolving.delete(module.name);
-                        continue;
-                    }
-                    recordModuleOrigins(parsed.program, module, origins);
-                    moduleProgram = resolveImports(parsed.program, module.name);
-                    loaded.set(module.name, moduleProgram);
-                    resolving.delete(module.name);
-                }
-                for (const decl of moduleProgram.decls) {
-                    if ((decl.kind !== "instrument" &&
-                        decl.kind !== "instrument_apply" &&
-                        decl.kind !== "type" &&
-                        decl.kind !== "const") ||
-                        !("exported" in decl) ||
-                        !decl.exported ||
-                        !requested.includes(decl.name.name))
-                        continue;
-                    resolvedNames.add(decl.name.name);
-                    const carried = decl.kind === "instrument_apply" || decl.kind === "instrument"
-                        ? withDeclarationScope(decl, moduleProgram)
-                        : decl;
-                    const priorSource = exportSourceByName.get(decl.name.name);
-                    if (priorSource && priorSource !== module.name) {
-                        issues.push({
-                            code: "HSX1006",
-                            fix: "import the name from exactly one module",
-                            message: `imported name ${decl.name.name} is exported by more than one module`,
-                            span: declaration.span,
-                        });
-                        continue;
-                    }
-                    exportSourceByName.set(decl.name.name, module.name);
-                    const key = `${decl.kind}:${decl.name.name}`;
-                    if (appendedKeys.has(key))
-                        continue;
-                    appendedKeys.add(key);
-                    appended.push(carried);
-                }
-            }
-            for (const name of declaration.names) {
-                if (resolvedNames.has(name.name))
-                    continue;
-                issues.push({
-                    code: "HSX1006",
-                    fix: "import a name that the module exports",
-                    message: `module ${declaration.from.value} does not export ${name.name}`,
-                    span: name.span,
-                });
-            }
-        }
-        const importerDeclarations = new Map(current.decls.flatMap((decl) => decl.kind === "party" || decl.kind === "port"
-            ? [[decl.name.name, decl]]
-            : []));
-        for (const decl of appended) {
-            if ((decl.kind !== "instrument_apply" && decl.kind !== "instrument") ||
-                !decl.declarationScope)
-                continue;
-            for (const local of decl.declarationScope) {
-                const importerDeclaration = importerDeclarations.get(local.name.name);
-                if (!importerDeclaration)
-                    continue;
-                if (sameDeclaration(local, importerDeclaration))
-                    continue;
-                const importedKind = decl.kind === "instrument_apply" ? "application" : "instrument";
-                issues.push({
-                    code: "HSX1009",
-                    fix: `rename the importer-owned ${local.name.name} declaration`,
-                    message: `imported ${importedKind} ${decl.name.name} carries module-local ${local.kind} ${local.name.name}, which collides with an importer-owned declaration`,
-                    span: importerDeclaration.span,
-                });
-            }
-        }
-        return { ...current, decls: [...current.decls, ...appended] };
-    };
-    const resolved = resolveImports(program, host.moduleName ?? "main");
-    return issues.length > 0
-        ? { issues, ok: false }
-        : { ok: true, origins, program: resolved };
-}
-function recordModuleOrigins(program, module, origins) {
-    const lines = lineIndex(module.source);
-    const seen = new Set();
-    const visit = (value) => {
-        if (!value || typeof value !== "object" || seen.has(value))
-            return;
-        seen.add(value);
-        if ("span" in value) {
-            const span = value.span;
-            if (span &&
-                typeof span === "object" &&
-                "start" in span &&
-                typeof span.start === "number") {
-                const position = lineColIn(lines, span.start);
-                origins.set(span, {
-                    column: position.column,
-                    line: position.line,
-                    moduleName: module.name,
-                });
-            }
-        }
-        for (const child of Object.values(value)) {
-            if (Array.isArray(child))
-                child.forEach(visit);
-            else
-                visit(child);
-        }
-    };
-    visit(program);
-}
-function withDeclarationScope(application, moduleProgram) {
-    const declarations = new Map();
-    for (const decl of moduleProgram.decls) {
-        if (!isApplicationScopeDecl(decl))
-            continue;
-        const named = declarations.get(decl.name.name) ?? [];
-        named.push(decl);
-        declarations.set(decl.name.name, named);
-        if (decl.kind === "instrument" && decl.declarationScope) {
-            for (const local of decl.declarationScope) {
-                const localNamed = declarations.get(local.name.name) ?? [];
-                localNamed.push(local);
-                declarations.set(local.name.name, localNamed);
-            }
-        }
-    }
-    const scope = [];
-    const seen = new Set();
-    const pending = [application];
-    while (pending.length > 0) {
-        const source = pending.pop();
-        if (!source)
-            continue;
-        const references = declarationReferences(source);
-        for (const name of references.names) {
-            for (const declaration of declarations.get(name) ?? []) {
-                if ((declaration.kind === "party" && !references.parties.has(name)) ||
-                    (declaration.kind === "port" && !references.ports.has(name)))
-                    continue;
-                if (seen.has(declaration))
-                    continue;
-                seen.add(declaration);
-                scope.push(declaration);
-                pending.push(declaration);
-            }
-        }
-    }
-    return { ...application, declarationScope: scope };
-}
-function isApplicationScopeDecl(decl) {
-    return (decl.kind === "const" ||
-        decl.kind === "instrument" ||
-        decl.kind === "party" ||
-        decl.kind === "port" ||
-        decl.kind === "type");
-}
-function declarationReferences(decl) {
-    const names = new Set();
-    const parties = new Set();
-    const ports = new Set();
-    if (decl.kind === "instrument_apply") {
-        collectExprNames(decl.application, names, ports);
-        for (const argument of decl.application.args) {
-            collectApplicationPartyNames(argument, parties);
-        }
-        if (decl.metadata)
-            collectExprNames(decl.metadata, names, ports);
-    }
-    if (decl.kind === "instrument") {
-        for (const parameter of decl.parameters)
-            collectExprNames(parameter.type, names, ports);
-        collectExprNames(decl.body, names, ports);
-        for (const parameter of [...decl.parameters, ...decl.typeParameters]) {
-            names.delete(parameter.name.name);
-            parties.delete(parameter.name.name);
-            ports.delete(parameter.name.name);
-        }
-    }
-    if (decl.kind === "const") {
-        if (decl.type)
-            collectExprNames(decl.type, names, ports);
-        collectExprNames(decl.value, names, ports);
-    }
-    if (decl.kind === "type")
-        collectExprNames(decl.value, names, ports);
-    if (decl.kind === "party" && decl.attrs)
-        collectExprNames(decl.attrs, names, ports);
-    if (decl.kind === "port") {
-        collectExprNames(decl.body, names, ports);
-        const allowed = decl.body.entries.find((entry) => entry.key.name === "allowed");
-        if (allowed)
-            collectApplicationPartyNames(allowed.value, parties);
-    }
-    if (decl.kind === "instrument_apply" || isApplicationScopeDecl(decl)) {
-        names.delete(decl.name.name);
-        parties.delete(decl.name.name);
-        ports.delete(decl.name.name);
-    }
-    return { names, parties, ports };
-}
-function collectExprNames(expr, names, ports) {
-    if (expr.kind === "ident")
-        names.add(expr.name);
-    if (expr.kind === "string") {
-        for (const match of expr.value.matchAll(/\{([A-Za-z][A-Za-z0-9_]*)\}/g)) {
-            if (match[1])
-                names.add(match[1]);
-        }
-    }
-    if (expr.kind === "money")
-        names.add(expr.currency.name);
-    if (expr.kind === "path") {
-        for (const part of expr.parts)
-            names.add(part.name);
-    }
-    if (expr.kind === "type_apply") {
-        names.add(expr.callee.name);
-        for (const argument of expr.args)
-            collectExprNames(argument, names, ports);
-    }
-    if (expr.kind === "apply") {
-        collectExprNames(expr.callee, names, ports);
-        for (const argument of [...expr.typeArgs, ...expr.args]) {
-            collectExprNames(argument, names, ports);
-        }
-    }
-    if (expr.kind === "call") {
-        names.add(expr.callee.name);
-        for (const argument of expr.args)
-            collectExprNames(argument, names, ports);
-    }
-    if (expr.kind === "binding")
-        collectExprNames(expr.type, names, ports);
-    if (expr.kind === "decided_amount")
-        collectExprNames(expr.body, names, ports);
-    if (expr.kind === "port_ref") {
-        names.add(expr.name.name);
-        ports.add(expr.name.name);
-    }
-    if (expr.kind === "settlement_ref") {
-        names.add(expr.owner.name);
-        names.add(expr.member.name);
-    }
-    if (expr.kind === "list") {
-        for (const item of expr.items)
-            collectExprNames(item, names, ports);
-    }
-    if (expr.kind !== "block")
-        return;
-    for (const entry of expr.entries) {
-        collectTemplatedNameReferences(entry.key.name, names);
-        for (const qualifier of entry.qualifiers) {
-            collectTemplatedNameReferences(qualifier.name, names);
-        }
-        if (entry.iteration)
-            collectExprNames(entry.iteration.bound, names, ports);
-        collectExprNames(entry.value, names, ports);
-        if (entry.iteration)
-            names.delete(entry.iteration.binding.name);
-    }
-}
-function collectApplicationPartyNames(expr, names) {
-    if (expr.kind === "ident")
-        names.add(expr.name);
-    if (expr.kind === "binding")
-        collectApplicationPartyNames(expr.type, names);
-    if (expr.kind === "list") {
-        for (const item of expr.items)
-            collectApplicationPartyNames(item, names);
-    }
-}
-function sameDeclaration(left, right) {
-    return (left.kind === right.kind &&
-        JSON.stringify(canonicalDeclaration(left)) ===
-            JSON.stringify(canonicalDeclaration(right)));
-}
-function canonicalDeclaration(value) {
-    if (Array.isArray(value))
-        return value.map(canonicalDeclaration);
-    if (value === null || typeof value !== "object")
-        return value;
-    return Object.fromEntries(Object.entries(value)
-        .filter(([key]) => key !== "span" && key !== "declarationScope")
-        .sort(([left], [right]) => left.localeCompare(right))
-        .map(([key, child]) => [key, canonicalDeclaration(child)]));
-}
-function collectTemplatedNameReferences(name, names) {
-    for (const match of name.matchAll(/\[([A-Za-z][A-Za-z0-9_]*)\]/g)) {
-        if (match[1])
-            names.add(match[1]);
-    }
-}
-function standardSources(standardLibrary, specifier, names) {
-    if (specifier !== "std/money_flows")
-        return [];
-    return names.flatMap((name) => {
-        const source = standardLibrary.source(specifier, name);
-        return source !== undefined
-            ? [
-                {
-                    name: `std.money_flows.${name}`,
-                    source,
-                },
-            ]
-            : [];
-    });
-}
-//# sourceMappingURL=modules.js.map

package/dist/src/modules.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"modules.js","sourceRoot":"","sources":["../../src/modules.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,sBAAsB,EAAwB,MAAM,kBAAkB,CAAC;AAuChF,MAAM,YAAY,GAAG,EAAE,CAAC;AAExB,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAI,GAAoB,EAAE;IAE1B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC1C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAEhD,MAAM,cAAc,GAAG,CAAC,OAAgB,EAAE,IAAY,EAAW,EAAE;QACjE,MAAM,QAAQ,GAAW,EAAE,CAAC;QAC5B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;QACvC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAkB,CAAC;QACrD,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,IAAI,EAAsB,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CACrD,CAAC;QACF,KAAK,MAAM,WAAW,IAAI,OAAO,EAAE,CAAC;YAClC,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,IAAI,sBAAsB,CAAC;YAC9D,MAAM,OAAO,GAAG,eAAe,CAC7B,MAAM,EACN,WAAW,CAAC,IAAI,CAAC,KAAK,EACtB,SAAS,CACV,CAAC;YACF,MAAM,MAAM,GACV,OAAO,CAAC,MAAM,KAAK,CAAC;gBAClB,CAAC,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;gBACpD,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,SAAS;oBACf,GAAG,EAAE,yEAAyE;oBAC9E,OAAO,EAAE,UAAU,WAAW,CAAC,IAAI,CAAC,KAAK,qBAAqB;oBAC9D,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI;iBAC5B,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;YACxC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,IAAI,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC5C,IAAI,CAAC,aAAa,EAAE,CAAC;oBACnB,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC/B,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,SAAS;4BACf,GAAG,EAAE,iCAAiC;4BACtC,OAAO,EAAE,oCAAoC,MAAM,CAAC,IAAI,EAAE;4BAC1D,IAAI,EAAE,WAAW,CAAC,IAAI;yBACvB,CAAC,CAAC;wBACH,SAAS;oBACX,CAAC;oBACD,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBAC3B,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBAC7B,IAAI,WAAW,CAAC,IAAI,GAAG,YAAY,EAAE,CAAC;wBACpC,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,SAAS;4BACf,GAAG,EAAE,uBAAuB,YAAY,UAAU;4BAClD,OAAO,EAAE,4BAA4B,YAAY,UAAU;4BAC3D,IAAI,EAAE,WAAW,CAAC,IAAI;yBACvB,CAAC,CAAC;wBACH,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;wBAC9B,SAAS;oBACX,CAAC;oBACD,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;oBAC3C,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAClC,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,SAAS;4BACf,GAAG,EAAE,iCAAiC,MAAM,CAAC,IAAI,EAAE;4BACnD,OAAO,EAAE,UAAU,MAAM,CAAC,IAAI,oBAAoB,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,qBAAqB,EAAE;4BAC3G,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI;yBAC5B,CAAC,CAAC;wBACH,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;wBAC9B,SAAS;oBACX,CAAC;oBACD,mBAAmB,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;oBACrD,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;oBAC5D,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;oBACvC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAChC,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,KAAK,EAAE,CAAC;oBACvC,IACE,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;wBACzB,IAAI,CAAC,IAAI,KAAK,kBAAkB;wBAChC,IAAI,CAAC,IAAI,KAAK,MAAM;wBACpB,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;wBACxB,CAAC,CAAC,UAAU,IAAI,IAAI,CAAC;wBACrB,CAAC,IAAI,CAAC,QAAQ;wBACd,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;wBAEnC,SAAS;oBACX,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAClC,MAAM,OAAO,GACX,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;wBAC5D,CAAC,CAAC,oBAAoB,CAAC,IAAI,EAAE,aAAa,CAAC;wBAC3C,CAAC,CAAC,IAAI,CAAC;oBACX,MAAM,WAAW,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC3D,IAAI,WAAW,IAAI,WAAW,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;wBAC/C,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,SAAS;4BACf,GAAG,EAAE,yCAAyC;4BAC9C,OAAO,EAAE,iBAAiB,IAAI,CAAC,IAAI,CAAC,IAAI,sCAAsC;4BAC9E,IAAI,EAAE,WAAW,CAAC,IAAI;yBACvB,CAAC,CAAC;wBACH,SAAS;oBACX,CAAC;oBACD,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;oBACpD,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC7C,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;wBAAE,SAAS;oBACpC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACtB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC;gBACrC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC3C,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,SAAS;oBACf,GAAG,EAAE,uCAAuC;oBAC5C,OAAO,EAAE,UAAU,WAAW,CAAC,IAAI,CAAC,KAAK,oBAAoB,IAAI,CAAC,IAAI,EAAE;oBACxE,IAAI,EAAE,IAAI,CAAC,IAAI;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAClC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7B,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAC3C,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAU,CAAC;YACnC,CAAC,CAAC,EAAE,CACP,CACF,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IACE,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC;gBAChE,CAAC,IAAI,CAAC,gBAAgB;gBAEtB,SAAS;YACX,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBAC1C,MAAM,mBAAmB,GAAG,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtE,IAAI,CAAC,mBAAmB;oBAAE,SAAS;gBACnC,IAAI,eAAe,CAAC,KAAK,EAAE,mBAAmB,CAAC;oBAAE,SAAS;gBAC1D,MAAM,YAAY,GAChB,IAAI,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC;gBAClE,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,SAAS;oBACf,GAAG,EAAE,6BAA6B,KAAK,CAAC,IAAI,CAAC,IAAI,cAAc;oBAC/D,OAAO,EAAE,YAAY,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,yBAAyB,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,qDAAqD;oBAC9J,IAAI,EAAE,mBAAmB,CAAC,IAAI;iBAC/B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC;IAChE,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,IAAI,MAAM,CAAC,CAAC;IACpE,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC;QACtB,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE;QACvB,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAAgB,EAChB,MAAoB,EACpB,OAAkC;IAElC,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,KAAc,EAAQ,EAAE;QACrC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO;QACnE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;YACxB,IACE,IAAI;gBACJ,OAAO,IAAI,KAAK,QAAQ;gBACxB,OAAO,IAAI,IAAI;gBACf,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAC9B,CAAC;gBACD,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC9C,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE;oBAChB,MAAM,EAAE,QAAQ,CAAC,MAAM;oBACvB,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,UAAU,EAAE,MAAM,CAAC,IAAI;iBACxB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;;gBAC1C,KAAK,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,OAAO,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAC3B,WAAwE,EACxE,aAAsB;IAEtB,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkC,CAAC;IAC/D,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,KAAK,EAAE,CAAC;QACvC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5C,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBAC1C,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3D,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACvB,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC7C,MAAM,OAAO,GAAW,CAAC,WAAW,CAAC,CAAC;IACtC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC7B,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACpC,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBACvD,IACE,CAAC,WAAW,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAC/D,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAE5D,SAAS;gBACX,IAAI,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC;oBAAE,SAAS;gBACpC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,WAAW,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAU;IACxC,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,OAAO;QACrB,IAAI,CAAC,IAAI,KAAK,YAAY;QAC1B,IAAI,CAAC,IAAI,KAAK,OAAO;QACrB,IAAI,CAAC,IAAI,KAAK,MAAM;QACpB,IAAI,CAAC,IAAI,KAAK,MAAM,CACrB,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAU;IAKvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACjD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;YAC7C,4BAA4B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAClD,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ;YAAE,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU;YACrC,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACjD,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC1C,KAAK,MAAM,SAAS,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YACrE,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI;YAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACzD,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK;QACrC,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CACpC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CACxC,CAAC;QACF,IAAI,OAAO;YAAE,4BAA4B,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAU,EACV,KAAkB,EAClB,KAAkB;IAElB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,8BAA8B,CAAC,EAAE,CAAC;YACxE,IAAI,KAAK,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI;YAAE,gBAAgB,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC5C,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,gBAAgB,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI;YAAE,gBAAgB,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACvE,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;YAAE,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO;IAClC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjC,8BAA8B,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtD,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,8BAA8B,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,KAAK,CAAC,SAAS;YAAE,gBAAgB,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3E,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC5C,IAAI,KAAK,CAAC,SAAS;YAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC;AACH,CAAC;AAED,SAAS,4BAA4B,CAAC,IAAU,EAAE,KAAkB;IAClE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,4BAA4B,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5E,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;YAAE,4BAA4B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,IAAU,EAAE,KAAW;IAC9C,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QACxB,IAAI,CAAC,SAAS,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,CAAC,SAAS,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACjE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;SAC7C,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,kBAAkB,CAAC;SAC/D,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;SACpD,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAC7D,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,IAAY,EACZ,KAAkB;IAElB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,8BAA8B,CAAC,EAAE,CAAC;QAClE,IAAI,KAAK,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,eAAgC,EAChC,SAAiB,EACjB,KAAwB;IAExB,IAAI,SAAS,KAAK,iBAAiB;QAAE,OAAO,EAAE,CAAC;IAC/C,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC5B,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACvD,OAAO,MAAM,KAAK,SAAS;YACzB,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,mBAAmB,IAAI,EAAE;oBAC/B,MAAM;iBACP;aACF;YACH,CAAC,CAAC,EAAE,CAAC;IACT,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/src/typecheck.d.ts

@@ -1,8 +0,0 @@
-import { type UdlDocument } from "@hyperscale0/udl";
-import type { Program } from "./ast.ts";
-import type { GeneralCheckResult } from "./ir.ts";
-export interface GeneralCheckOptions {
-    readonly publishedCatalog?: UdlDocument;
-}
-export declare function checkGeneralProgram(program: Program, options?: GeneralCheckOptions): GeneralCheckResult;
-//# sourceMappingURL=typecheck.d.ts.map

package/dist/src/typecheck.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"typecheck.d.ts","sourceRoot":"","sources":["../../src/typecheck.ts"],"names":[],"mappings":"AAAA,OAAO,EAQL,KAAK,WAAW,EAEjB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAaV,OAAO,EAKR,MAAM,UAAU,CAAC;AASlB,OAAO,KAAK,EACV,kBAAkB,EASnB,MAAM,SAAS,CAAC;AAajB,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,WAAW,CAAC;CACzC;AAkCD,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,mBAAwB,GAChC,kBAAkB,CA4cpB"}