import { Ctx } from "../../ctx";
import { Core } from "../../core";
import { Value } from "../../value";
import * as Exps from "../../exps";
export interface ImFnInsertion {
    insert_im_fn(ctx: Ctx, fn: Exps.Fn, renaming: Array<{
        field_name: string;
        local_name: string;
    }>): Core;
}
export declare const ImFnInsertion: {
    based_on(t: Value): t is Value & ImFnInsertion;
};