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