import { Core, AlphaCtx } from "../../core";
import { Env } from "../../env";
import { Value } from "../../value";
export declare class EqualCore extends Core {
    t: Core;
    from: Core;
    to: Core;
    constructor(t: Core, from: Core, to: Core);
    evaluate(env: Env): Value;
    repr(): string;
    alpha_repr(ctx: AlphaCtx): string;
}