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