import { Ctx } from "../ctx";
import { Core } from "../core";
import { Value } from "../value";
import { Neutral } from "../neutral";
import { Solution } from "../solution";
export declare class NotYetValue extends Value {
    t: Value;
    neutral: Neutral;
    constructor(t: Value, neutral: Neutral);
    readback(ctx: Ctx, t: Value): Core;
    unify(solution: Solution, that: Value): Solution;
    deep_walk(ctx: Ctx, solution: Solution): Value;
}