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