import { z } from "zod";
import type { LspClientManager } from "../client-manager.ts";
import type { LspDocumentManager } from "../document-manager.ts";
export declare function createLspGotoDefinitionTool(clientManager: LspClientManager, docManager: LspDocumentManager): import("../../platform/types.ts").CanonicalToolDef<{
    filePath: z.ZodString;
    line: z.ZodNumber;
    character: z.ZodNumber;
}>;
export declare function createLspGotoTypeDefinitionTool(clientManager: LspClientManager, docManager: LspDocumentManager): import("../../platform/types.ts").CanonicalToolDef<{
    filePath: z.ZodString;
    line: z.ZodNumber;
    character: z.ZodNumber;
}>;
export declare function createLspGotoImplementationTool(clientManager: LspClientManager, docManager: LspDocumentManager): import("../../platform/types.ts").CanonicalToolDef<{
    filePath: z.ZodString;
    line: z.ZodNumber;
    character: z.ZodNumber;
}>;
export declare function createLspGotoDeclarationTool(clientManager: LspClientManager, docManager: LspDocumentManager): import("../../platform/types.ts").CanonicalToolDef<{
    filePath: z.ZodString;
    line: z.ZodNumber;
    character: z.ZodNumber;
}>;
export declare function createLspFindReferencesTool(clientManager: LspClientManager, docManager: LspDocumentManager): import("../../platform/types.ts").CanonicalToolDef<{
    filePath: z.ZodString;
    line: z.ZodNumber;
    character: z.ZodNumber;
    includeDeclaration: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
}>;
export declare function createLspDocumentHighlightsTool(clientManager: LspClientManager, docManager: LspDocumentManager): import("../../platform/types.ts").CanonicalToolDef<{
    filePath: z.ZodString;
    line: z.ZodNumber;
    character: z.ZodNumber;
}>;
//# sourceMappingURL=nav.d.ts.map