import { type Expr } from "../expr.js";
import { type Rule } from "../rule.js";
export interface DivideBothSidesParams {
    /**
     * The expression to divide by. Cloned before inserting, so callers may
     * pass subtrees of the current equation.
     */
    readonly divisor: Expr;
}
/**
 * Divides both sides by a user-chosen expression — a solution-LOSING move:
 * wherever the divisor is 0 the new equation says nothing, so the rule emits
 * Restriction(divisor ≠ 0). The precondition rejects divisors that decidably
 * ARE zero (a constant 0, or zero under current Pinned values); everything
 * else is allowed and the restriction travels with the judgment.
 */
export declare const divideBothSides: Rule<DivideBothSidesParams>;
//# sourceMappingURL=divideBothSides.d.ts.map