import { z } from "zod";
import type { WidgetGenerator } from "../../widgets/types";
export declare const SubtractionWithRegroupingPropsSchema: z.ZodObject<{
    type: z.ZodLiteral<"subtractionWithRegrouping">;
    minuend: z.ZodNumber;
    subtrahend: z.ZodNumber;
    showRegrouping: 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 SubtractionWithRegroupingProps = z.infer<typeof SubtractionWithRegroupingPropsSchema>;
/**
 * Generates an HTML representation of a subtraction problem with optional regrouping visualization
 */
export declare const generateSubtractionWithRegrouping: WidgetGenerator<typeof SubtractionWithRegroupingPropsSchema>;
//# sourceMappingURL=subtraction-with-regrouping.d.ts.map