type DocumentInput = { file_path: string; text?: string; }; type PositionInput = DocumentInput & { line: number; character: number; }; export declare function agencyDiagnostics(input: DocumentInput): { diagnostics: { severity: string; message: string; source: string; start: import("vscode-languageserver-protocol").Position; end: import("vscode-languageserver-protocol").Position; }[]; }; export declare function agencyDefinition(input: PositionInput): { definition: null; } | { definition: { file_path: string; start: import("vscode-languageserver-protocol").Position; end: import("vscode-languageserver-protocol").Position; }; }; export declare function agencyHover(input: PositionInput): { hover: null; diagnostics: number; } | { hover: unknown; diagnostics?: undefined; }; export declare function agencyDocumentSymbols(input: DocumentInput): { symbols: { name: string; kind: string; start: import("vscode-languageserver-protocol").Position; end: import("vscode-languageserver-protocol").Position; }[]; }; export declare function agencyFormat(input: DocumentInput): { changed: boolean; formatted: string; edit_count: number; }; export declare function agencyCompletions(input: DocumentInput): { completions: { label: string; kind: string; }[]; }; export {};