import { type NodeId } from "../expr.js";
import { type Rule } from "../rule.js";
export interface QuotientOfPowersParams {
    /** An element of the Fraction's numerator list (bare base or literal power). */
    readonly numTermId: NodeId;
    /** A like-based element of its denominator list. */
    readonly denTermId: NodeId;
}
/**
 * The quotient-of-powers law across the bar — like-based powers reduce by
 * subtracting literal exponents:
 *   x³/x² ~> x        x²/x³ ~> 1/x        x/x² ~> 1/x        2³/2² ~> 2
 * A solution-LOSING move (the original is undefined wherever the base is 0),
 * so it emits Restriction(base ≠ 0), discharged on the spot for constants.
 */
export declare const quotientOfPowers: Rule<QuotientOfPowersParams>;
//# sourceMappingURL=quotientOfPowers.d.ts.map