pub fn shrink(v: &Value) -> Vec<Value>Expand description
Smaller candidates for a failing input, most-shrunk first.
Shrinking is a property of the value, not of the type: a shorter list is smaller than a longer
one whatever the elements are, and an integer closer to zero is smaller than one further away.
That keeps this total and terminating — every candidate is strictly smaller by
size, so a shrink loop cannot cycle.