Interface SparseArrayConstraints

When receiving a depth identifier, the arbitrary will impact the depth attached to it to avoid going too deep if it already generated lots of items.

In other words, if the number of generated values within the collection is large then the generated items will tend to be less deep to avoid creating structures a lot larger than expected.

For the moment, the depth is not taken into account to compute the number of items to define for a precise generate call of the array. Just applied onto eligible items.

Upper bound of the generated array size (maximal size: 4294967295)

Upper bound of the number of non-hole elements

Lower bound of the number of non-hole elements

When enabled, all generated arrays will either be the empty array or end by a non-hole

Define how large the generated values should be (at max)