import { z } from "zod";
import type { WidgetGenerator } from "../../widgets/types";
/**
 * Main Zod schema for the divisionAreaDiagram widget.
 */
export declare const DivisionAreaDiagramPropsSchema: z.ZodObject<{
    type: z.ZodLiteral<"divisionAreaDiagram">;
    divisor: z.ZodNumber;
    dividend: z.ZodNumber;
    quotientParts: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"value">;
        value: z.ZodNumber;
        color: z.ZodPipe<z.ZodNullable<z.ZodString>, z.ZodTransform<string | null, string | null>>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"placeholder">;
    }, z.core.$strip>], "type">>;
    steps: z.ZodArray<z.ZodObject<{
        subtrahend: z.ZodNullable<z.ZodNumber>;
        difference: z.ZodNullable<z.ZodNumber>;
        differenceColor: z.ZodNullable<z.ZodString>;
        topTokens: z.ZodNullable<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"digit">;
            value: z.ZodNumber;
            color: z.ZodPipe<z.ZodNullable<z.ZodString>, z.ZodTransform<string | null, string | null>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"boxedDigit">;
            value: z.ZodNumber;
            color: z.ZodPipe<z.ZodNullable<z.ZodString>, z.ZodTransform<string | null, string | null>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"emptyBox">;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"spacer">;
        }, z.core.$strip>], "type">>>;
        subtrahendTokens: z.ZodNullable<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"digit">;
            value: z.ZodNumber;
            color: z.ZodPipe<z.ZodNullable<z.ZodString>, z.ZodTransform<string | null, string | null>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"boxedDigit">;
            value: z.ZodNumber;
            color: z.ZodPipe<z.ZodNullable<z.ZodString>, z.ZodTransform<string | null, string | null>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"emptyBox">;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"spacer">;
        }, z.core.$strip>], "type">>>;
        differenceTokens: z.ZodNullable<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"digit">;
            value: z.ZodNumber;
            color: z.ZodPipe<z.ZodNullable<z.ZodString>, z.ZodTransform<string | null, string | null>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"boxedDigit">;
            value: z.ZodNumber;
            color: z.ZodPipe<z.ZodNullable<z.ZodString>, z.ZodTransform<string | null, string | null>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"emptyBox">;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"spacer">;
        }, z.core.$strip>], "type">>>;
        rightPanel: z.ZodNullable<z.ZodObject<{
            tokensTop: z.ZodNullable<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                type: z.ZodLiteral<"digit">;
                value: z.ZodNumber;
                color: z.ZodPipe<z.ZodNullable<z.ZodString>, z.ZodTransform<string | null, string | null>>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"boxedDigit">;
                value: z.ZodNumber;
                color: z.ZodPipe<z.ZodNullable<z.ZodString>, z.ZodTransform<string | null, string | null>>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"emptyBox">;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"spacer">;
            }, z.core.$strip>], "type">>>;
            minusTokens: z.ZodNullable<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                type: z.ZodLiteral<"digit">;
                value: z.ZodNumber;
                color: z.ZodPipe<z.ZodNullable<z.ZodString>, z.ZodTransform<string | null, string | null>>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"boxedDigit">;
                value: z.ZodNumber;
                color: z.ZodPipe<z.ZodNullable<z.ZodString>, z.ZodTransform<string | null, string | null>>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"emptyBox">;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"spacer">;
            }, z.core.$strip>], "type">>>;
            bottomTokens: z.ZodNullable<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                type: z.ZodLiteral<"digit">;
                value: z.ZodNumber;
                color: z.ZodPipe<z.ZodNullable<z.ZodString>, z.ZodTransform<string | null, string | null>>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"boxedDigit">;
                value: z.ZodNumber;
                color: z.ZodPipe<z.ZodNullable<z.ZodString>, z.ZodTransform<string | null, string | null>>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"emptyBox">;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"spacer">;
            }, z.core.$strip>], "type">>>;
        }, z.core.$strip>>;
    }, z.core.$strict>>;
    showFinalRemainderBox: z.ZodBoolean;
}, z.core.$strict>;
export type DivisionAreaDiagramProps = z.infer<typeof DivisionAreaDiagramPropsSchema>;
/**
 * Generates an HTML table representing a division area model.
 */
export declare const generateDivisionAreaDiagram: WidgetGenerator<typeof DivisionAreaDiagramPropsSchema>;
//# sourceMappingURL=division-area-diagram.d.ts.map