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