import { Diagnostic } from '@codemirror/lint';
import { EditorView } from '@codemirror/view';

declare function checkDocument(view: EditorView): Promise<Diagnostic[]>;
export declare const checkZenuml: typeof checkDocument;
export declare const zenumlLinter: () => import('@codemirror/state').Extension;
export {};