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