import { type Rule } from "../rule.js";
type NoParams = Record<string, never>;
/**
 * Square both sides — the second solution-GAINING move (after
 * multiply-both-sides): x = 2 becomes x² = 4, which −2 also satisfies. Emits
 * an Extension carrying the pre-move equation; the derivation is not settled
 * until candidate solutions are checked against it. Gesture: a tap on the
 * equals sign.
 */
export declare const squareBothSides: Rule<NoParams>;
export {};
//# sourceMappingURL=squareBothSides.d.ts.map