import { Hover, HoverParams } from "vscode-languageserver-protocol";
import { TextDocument } from "vscode-languageserver-textdocument";
import { type SemanticIndex } from "./semantics.js";
import type { AgencyProgram } from "../types.js";
import type { ScopeInfo } from "../typeChecker/types.js";
export declare function handleHover(params: HoverParams, doc: TextDocument, semanticIndex: SemanticIndex, program?: AgencyProgram, scopes?: ScopeInfo[]): Hover | null;
