import { Core } from "../core";
import { Neutral } from "../neutral";
import { Ctx } from "../ctx";
import { Solution } from "../solution";
export declare class VarNeutral extends Neutral {
    name: string;
    constructor(name: string);
    readback_neutral(ctx: Ctx): Core;
    unify(solution: Solution, that: Neutral): Solution;
}