import { EditorView } from "./editorview";
export declare function applyDOMChange(view: EditorView, start: number, end: number, typeOver: boolean): boolean;