import type { EdictModule } from "../ast/nodes.js";
import type { TypedModuleInfo } from "../checker/check.js";
import type { IRModule } from "./types.js";
/**
 * Lower a type-checked Edict module into the mid-level IR.
 *
 * @param module - A validated, resolved, and type-checked Edict module
 * @param typeInfo - The side-table of inferred types from the type checker
 * @returns A fully lowered IRModule ready for codegen
 */
export declare function lowerModule(module: EdictModule, typeInfo: TypedModuleInfo): IRModule;
//# sourceMappingURL=lower.d.ts.map