import { Ctx } from "../../ctx";
import { Core } from "../../core";
import { Value } from "../../value";
import { Closure } from "../closure";
export declare class ImFnValue extends Value {
    field_name: string;
    fn_cl: Closure;
    constructor(field_name: string, fn_cl: Closure);
    apply(arg: Value): Value;
    readback(ctx: Ctx, t: Value): Core | undefined;
}