Type Alias ValidateReduction<InputShape, Axes>

ValidateReduction: Axes extends undefined
    ? true
    : Axes extends readonly number[]
        ? ValidateAxes<Axes, InputShape> extends DimensionError<string>
            ? ValidateAxes<Axes, InputShape>
            : ValidateAxes<Axes, InputShape> extends readonly number[]
                ? CheckDuplicateAxes<ValidateAxes<Axes, InputShape>> extends DimensionError<
                    string,
                >
                    ? CheckDuplicateAxes<ValidateAxes<Axes, InputShape>>
                    : true
                : DimensionError<"Failed to validate axes">
        : DimensionError<
            "Invalid axes type: expected readonly number[] or undefined",
        >

type Valid = ValidateReduction<[2, 3, 4], [1], false> // true
type Invalid = ValidateReduction<[2, 3, 4], [5], false> // DimensionError
Copy