import { Tooltip } from '@codemirror/view'; import type { Connection } from '../../protocol/connection'; export declare const infotipsFromServer: (connection: Connection) => (import("@codemirror/state").Extension | import("@codemirror/state").StateField<{ pos: number; promise: Promise; resolve: (tooltip: Tooltip) => void; } | null | undefined>)[];