import * as operations from "../../models/operations/index.js";
import { ToolDefinition } from "../tools.js";
declare const args: {
    request: import("zod").ZodType<operations.GetCourseProgressRequest, import("zod").ZodTypeDef, unknown>;
};
export declare const tool$lessonPlansGetStudentCourseProgress: ToolDefinition<typeof args>;
export {};
//# sourceMappingURL=lessonPlansGetStudentCourseProgress.d.ts.map