Module kani::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.