import { Env } from "../env";
import { Value } from "../value";
export declare abstract class Ctx {
    abstract names: Array<string>;
    abstract find_entry(name: string): undefined | {
        t: Value;
        value?: Value;
    };
    abstract to_env(): Env;
    static get empty(): EmptyCtx;
    freshen(name: string): string;
    extend(name: string, t: Value, value?: Value): Ctx;
    find_type(name: string): undefined | Value;
    assert_not_redefine(name: string, t: Value, value?: Value): void;
}
declare class EmptyCtx extends Ctx {
    names: never[];
    find_entry(name: string): undefined | {
        t: Value;
        value?: Value;
    };
    to_env(): Env;
}
export {};