import { Neutral } from "../../neutral";
import { Normal } from "../../normal";
import { Core } from "../../core";
import { Ctx } from "../../ctx";
export declare class EitherIndNeutral extends Neutral {
    target: Neutral;
    motive: Normal;
    base_left: Normal;
    base_right: Normal;
    constructor(target: Neutral, motive: Normal, base_left: Normal, base_right: Normal);
    readback_neutral(ctx: Ctx): Core;
}