import { Ctx } from "../../ctx";
import { Core } from "../../core";
import { Value } from "../../value";
import { Solution } from "../../solution";
export declare class EqualValue extends Value {
    t: Value;
    from: Value;
    to: Value;
    constructor(t: Value, from: Value, to: Value);
    readback(ctx: Ctx, t: Value): Core | undefined;
    unify(solution: Solution, that: Value): Solution;
}