import { Core } from "../core";
import { Value } from "../value";
import { Ctx } from "../ctx";
import { Solution } from "../solution";
export declare class Normal {
    t: Value;
    value: Value;
    constructor(t: Value, value: Value);
    readback_normal(ctx: Ctx): Core;
    unify(solution: Solution, that: Normal): Solution;
}