import type { EdictModule } from "./ast/nodes.js";
import type { StructuredError, AnalysisDiagnostic, VerificationCoverage } from "./errors/structured-errors.js";
import type { TypedModuleInfo } from "./checker/check.js";
export interface MultiModuleCheckResult {
    ok: boolean;
    errors: StructuredError[];
    /** The merged virtual module (only present when ok === true) */
    mergedModule?: EdictModule;
    /** Side-table of inferred types (only present when ok === true) */
    typeInfo?: TypedModuleInfo;
    /** INFO-level diagnostics (present even when ok === true) */
    diagnostics?: AnalysisDiagnostic[];
    /** Summary of what was verified vs. skipped */
    coverage?: VerificationCoverage;
    /** Topological order of module names */
    moduleOrder?: string[];
}
/**
 * Multi-module pipeline: validate each → detect cycles → merge → check merged.
 *
 * @param modules Array of EdictModule ASTs to compile together (can be compact or older schema)
 * @returns The merged module and check results, or structured errors
 */
export declare function checkMultiModule(modules: unknown[]): Promise<MultiModuleCheckResult>;
//# sourceMappingURL=multi-module.d.ts.map