import { Ctx } from "../../ctx";
import { Exp } from "../../exp";
import { Core } from "../../core";
import { Solution } from "../../solution";
import { Value } from "../../value";
import { Closure } from "../closure";
import * as Exps from "../../exps";
import { ImApInsertionEntry } from "./im-ap-insertion";
export declare class BaseImPiValue extends Exps.ImPiValue {
    field_name: string;
    arg_t: Value;
    ret_t_cl: Closure;
    constructor(field_name: string, arg_t: Value, ret_t_cl: Closure);
    insert_im_fn(ctx: Ctx, fn: Exps.Fn, renaming: Array<{
        field_name: string;
        local_name: string;
    }>): Core;
    solve_im_ap(ctx: Ctx, arg: Exp): Solution;
    insert_im_ap(ctx: Ctx, arg: Exp, target_core: Core, entries: Array<ImApInsertionEntry>): {
        t: Value;
        core: Core;
    };
}