import { Core, AlphaCtx } from "../../core";
import { Env } from "../../env";
import { Value } from "../../value";
import * as Exps from "../../exps";
export declare class ImPiCore extends Core {
    field_name: string;
    local_name: string;
    arg_t: Core;
    ret_t: Exps.PiCore | Exps.ImPiCore;
    constructor(field_name: string, local_name: string, arg_t: Core, ret_t: Exps.PiCore | Exps.ImPiCore);
    evaluate(env: Env): Value;
    im_pi_args_repr(): Array<string>;
    pi_args_repr(): Array<string>;
    pi_ret_t_repr(): string;
    repr(): string;
    alpha_repr(ctx: AlphaCtx): string;
}