import { EditorView } from '@codemirror/view';
/**
 * Sets the editor fold state to exactly the given positions.
 * Positions present in `prevFoldings` but absent from `foldings` are unfolded;
 * positions in `foldings` are folded (foldCode is idempotent for already-folded ranges).
 * @param foldings - target set of folding positions
 * @param editorView - Editor view
 * @param prevFoldings - previously active positions, used to compute which to unfold
 */
export declare function runFoldings(foldings: number[], editorView: EditorView, prevFoldings?: number[]): void;
//# sourceMappingURL=run-foldings.d.ts.map