import { Plugin } from '@tiptap/pm/state'; export declare class HistoryState { constructor(done: any, undone: any, prevRanges: any, prevTime: any); } export declare function closeHistory(tr: any): any; export declare function history(config: any): Plugin; export declare function undo(state: any, dispatch: any): boolean; export declare function redo(state: any, dispatch: any): boolean; export declare function undoDepth(state: any): any; export declare function redoDepth(state: any): any; //# sourceMappingURL=history-infra.d.ts.map