PropCheck.BasicTypes.ordered_list
You're seeing just the function
ordered_list
, go back to PropCheck.BasicTypes module for more information.
Specs
All sorted lists containing elements of type elem_type
.
Instances shrink towards the empty list, []
.