import { Neutral } from "../../neutral";
import { Normal } from "../../normal";
import { Core } from "../../core";
import { Ctx } from "../../ctx";
import { Solution } from "../../solution";
export declare class NatIndNeutral extends Neutral {
    target: Neutral;
    motive: Normal;
    base: Normal;
    step: Normal;
    constructor(target: Neutral, motive: Normal, base: Normal, step: Normal);
    readback_neutral(ctx: Ctx): Core;
    unify(solution: Solution, that: Neutral): Solution;
}