import { Env } from "../env";
import { Value } from "../value";
export declare abstract class Core {
    instanceofCore: boolean;
    abstract evaluate(env: Env): Value;
    abstract repr(): string;
    abstract alpha_repr(ctx: AlphaCtx): string;
}
export declare class AlphaCtx {
    names: Array<string>;
    constructor(names?: Array<string>);
    get depth(): number;
    find_depth(name: string): number | undefined;
    extend(name: string): AlphaCtx;
}