import { type Expr } from "../expr.js";
import { type Rule } from "../rule.js";
export interface AddToBothSidesParams {
    /**
     * The term whose negation is added to both sides. Typically a copy of an
     * existing term the user dragged; the rule clones it (fresh ids) before
     * inserting, so callers may pass subtrees of the current equation.
     */
    readonly term: Expr;
}
/**
 * Adds Neg(term) to both sides of the equation as ONE atomic application —
 * the transactional both-sides gesture is a UI concern; the engine commits
 * both sides at once, so no intermediate unbalanced state ever exists.
 */
export declare const addToBothSides: Rule<AddToBothSidesParams>;
//# sourceMappingURL=addToBothSides.d.ts.map