Module vec

Functions

any_vec

Generates an arbitrary vector whose length is at most MAX_LENGTH.

exact_vec

Generates an arbitrary vector that is exactly EXACT_LENGTH long.