import type { Ctx } from "../ctx/index.js";
import type * as Exps from "../exp/index.js";
import { Inferred } from "../infer/index.js";
import type { Mod } from "../mod/index.js";
export declare function insertDuringInfer(mod: Mod, ctx: Ctx, inferred: Inferred, args: Array<Exps.Arg>): Inferred;
//# sourceMappingURL=insertDuringInfer.d.ts.map