import { z } from "zod";
import type { WidgetGenerator } from "../../widgets/types";
export declare const PythagoreanProofDiagramPropsSchema: z.ZodObject<{
    type: z.ZodLiteral<"pythagoreanProofDiagram">;
    width: z.ZodNumber;
    height: z.ZodNumber;
    sideA: z.ZodObject<{
        label: z.ZodNullable<z.ZodString>;
        square: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"unknown">;
            color: z.ZodString;
        }, z.core.$strict>, z.ZodObject<{
            type: z.ZodLiteral<"value">;
            area: z.ZodNumber;
            color: z.ZodString;
        }, z.core.$strict>], "type">>;
    }, z.core.$strict>;
    sideB: z.ZodObject<{
        label: z.ZodNullable<z.ZodString>;
        square: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"unknown">;
            color: z.ZodString;
        }, z.core.$strict>, z.ZodObject<{
            type: z.ZodLiteral<"value">;
            area: z.ZodNumber;
            color: z.ZodString;
        }, z.core.$strict>], "type">>;
    }, z.core.$strict>;
    sideC: z.ZodObject<{
        label: z.ZodNullable<z.ZodString>;
        square: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"unknown">;
            color: z.ZodString;
        }, z.core.$strict>, z.ZodObject<{
            type: z.ZodLiteral<"value">;
            area: z.ZodNumber;
            color: z.ZodString;
        }, z.core.$strict>], "type">>;
    }, z.core.$strict>;
}, z.core.$strict>;
export type PythagoreanProofDiagramProps = z.infer<typeof PythagoreanProofDiagramPropsSchema>;
/**
 * Generates a visual diagram to illustrate the Pythagorean theorem by rendering a
 * right triangle with a square constructed on each side, labeled with its area.
 */
export declare const generatePythagoreanProofDiagram: WidgetGenerator<typeof PythagoreanProofDiagramPropsSchema>;
//# sourceMappingURL=pythagorean-proof-diagram.d.ts.map