Type Alias Max<Max, Self>

Max: [Self] extends [{ minLength: number }]
    ? t_array.between<
        [min: Self["minLength"], max: Max],
        Self["def" & keyof Self],
    >
    : t_array.max<Max, Self["def" & keyof Self]>