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