Module proptest
im::vector
Proptest strategies.
A strategy for generating a vector of a certain size.