import { EditorView } from '../';

export function coordsAtPos(view: EditorView, pos: number): { left: number, top: number, right: number, bottom: number };