import { Exp, ElaborationOptions } from "../exp";
import { Core } from "../core";
import { Value } from "../value";
import { Ctx } from "../ctx";
export declare function infer(ctx: Ctx, exp: Exp, opts?: ElaborationOptions): {
    t: Value;
    core: Core;
};