import { Ctx } from "../../ctx";
import { Exp } from "../../exp";
import { Core } from "../../core";
import { Value } from "../../value";
import * as Exps from "../../exps";
export declare class NilClsValue extends Exps.ClsValue {
    get field_names(): Array<string>;
    check_properties(ctx: Ctx, properties: Map<string, Exp>): Map<string, Core>;
    readback(ctx: Ctx, t: Value): Core | undefined;
    dot_value(target: Value, field_name: string): Value;
    dot_type(target: Value, field_name: string): Value;
    eta_expand_properties(ctx: Ctx, value: Value): Map<string, Core>;
    extend_ctx(ctx: Ctx, renamings: Array<{
        field_name: string;
        local_name: string;
    }>): {
        ctx: Ctx;
        renamings: Array<{
            field_name: string;
            local_name: string;
        }>;
    };
    apply(arg: Value): Exps.ClsValue;
}