Function gen_region

pub fn gen_region(
    dims: RangeInclusive<usize>,
    max_len: usize,
) -> impl Strategy<Value = Region>

Generate a random Region strategy for property tests.

This builds on gen_extent, producing a region with the same randomly chosen dimensionality and sizes, but wrapped as a full Region (with labels and strides).

• dims: inclusive range of allowed dimensionalities (e.g. 1..=4)
• max_len: maximum size of any dimension