import type { Core } from "../core/index.js";
import type { Ctx } from "../ctx/index.js";
import type { Exp } from "../exp/index.js";
import type { Mod } from "../mod/index.js";
import type { Value } from "../value/index.js";
export type Inferred = {
    type: Value;
    core: Core;
};
export declare function Inferred(type: Value, core: Core): Inferred;
export declare function infer(mod: Mod, ctx: Ctx, exp: Exp): Inferred;
//# sourceMappingURL=infer.d.ts.map