PropCheck.BasicTypes.shrink_list
You're seeing just the function
shrink_list
, go back to PropCheck.BasicTypes module for more information.
Specs
A type that generates exactly the list list
.
Instances shrink towards shorter sublists of the original list.