PropCheck.BasicTypes.weighted_default
You're seeing just the function
weighted_default
, go back to PropCheck.BasicTypes module for more information.
Specs
A specialization of default/2
.
Parameters default
and type
are
assigned weights to be considered by the random instance generator. The
shrinking subsystem will ignore the weights and try to shrink using the
default value.