import { type Rule } from "../rule.js"; type NoParams = Record; /** * Swap the two sides: a R b ⇔ b flip(R) a, exactly, for every relation * (x < 5 becomes 5 > x; equalities just trade places). Gesture: a tap on the * relation sign (on '=' the square-both-sides tap outranks it). */ export declare const swapSides: Rule; export {}; //# sourceMappingURL=swapSides.d.ts.map