PropCheck.BasicTypes.default
You're seeing just the function
default
, go back to PropCheck.BasicTypes module for more information.
Specs
Adds a default value, default_value
, to type
.
The default serves as a primary shrinking target for instances, while it is also chosen by the random instance generation subsystem half the time.