import { Core, AlphaCtx } from "../../core"; import { Env } from "../../env"; import * as Exps from "../../exps"; export declare abstract class ClsCore extends Core { instanceofExpsCls: boolean; abstract append(cls: Exps.ClsCore): Exps.ClsCore; abstract field_names: Array; abstract evaluate(env: Env): Exps.ClsValue; abstract fields_repr(): Array; abstract fields_alpha_repr(ctx: AlphaCtx): Array; }