import { EditorView } from '@codemirror/view'; import { LineMapping } from '../types'; /** * Extract the set of folded blockIds from a CodeMirror editor. * Returns a Set of blockIds that are currently folded. */ export declare function extractFoldedBlockIds(view: EditorView, lineMap: LineMapping[]): Set; /** * Restore folds from a set of folded blockIds using a new lineMap. * Looks up each blockId in blockLineRanges to find the new line positions. */ export declare function restoreFoldsFromBlockIds(view: EditorView, foldedBlockIds: Set, blockLineRanges: Map): void;