import { type NodeId } from "../expr.js";
import { type Rule } from "../rule.js";
export interface CombineIntegerFactorsParams {
    /**
     * Two factors of the Product at `location`, or two elements of the SAME
     * factor list (num or den) of the Fraction there (the lists are implicit
     * products). At least one must be a bare integer literal — it is absorbed
     * into the other factor's integer coefficient.
     */
    readonly termA: NodeId;
    readonly termB: NodeId;
}
/**
 * Absorb a bare integer factor into another factor of the same product (or
 * fraction list), multiplying it into that factor's coefficient — the
 * multiplicative twin of combine-integers, generalized to reach a coefficient
 * through a Neg wrapper:
 *   3 · 2 · x  ~>  6x        −3 · −2x  ~>  6x        x · (−1)  ~>  −x
 */
export declare const combineIntegerFactors: Rule<CombineIntegerFactorsParams>;
//# sourceMappingURL=combineIntegerFactors.d.ts.map