import { Exp, ExpMeta } from "../../exp";
import { Core } from "../../core";
import { Ctx } from "../../ctx";
import { Value } from "../../value";
export declare abstract class Cls extends Exp {
    abstract meta: ExpMeta;
    abstract field_names: Array<string>;
    abstract fields_repr(): Array<string>;
    abstract subst(name: string, exp: Exp): Cls;
    abstract infer(ctx: Ctx): {
        t: Value;
        core: Core;
    };
}