import { Location, DefinitionParams } 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 handleDefinition(params: DefinitionParams, doc: TextDocument, fsPath: string, semanticIndex: SemanticIndex, program?: AgencyProgram, scopes?: ScopeInfo[]): Location | null;
