import { z } from "zod";
import type { WidgetGenerator } from "../../widgets/types";
export declare const AdditionWithRegroupingPropsSchema: z.ZodObject<{
    type: z.ZodLiteral<"additionWithRegrouping">;
    addend1: z.ZodNumber;
    addend2: z.ZodNumber;
    showCarrying: z.ZodBoolean;
    showAnswer: z.ZodBoolean;
    revealUpTo: z.ZodEnum<{
        ones: "ones";
        tens: "tens";
        hundreds: "hundreds";
        thousands: "thousands";
        "ten-thousands": "ten-thousands";
        complete: "complete";
    }>;
}, z.core.$strict>;
export type AdditionWithRegroupingProps = z.infer<typeof AdditionWithRegroupingPropsSchema>;
/**
 * Generates an HTML representation of an addition problem with optional regrouping visualization
 */
export declare const generateAdditionWithRegrouping: WidgetGenerator<typeof AdditionWithRegroupingPropsSchema>;
//# sourceMappingURL=addition-with-regrouping.d.ts.map