import { type NodeId } from "../expr.js";
import { type Rule } from "../rule.js";
export interface AdditiveCancellationParams {
    /** Direct children of the Sum at `location`. */
    readonly termA: NodeId;
    readonly termB: NodeId;
}
/**
 * Within one Sum, a term and its negation annihilate:
 *   x + a + (-a)  ~>  x        a + (-a)  ~>  0
 */
export declare const additiveCancellation: Rule<AdditiveCancellationParams>;
//# sourceMappingURL=additiveCancellation.d.ts.map