PropCheck.BasicTypes.weighted_default

You're seeing just the function weighted_default, go back to PropCheck.BasicTypes module for more information.
Link to this function

weighted_default(default, type)

View Source

Specs

weighted_default({frequency(), raw_type()}, {frequency(), raw_type()}) :: type()

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.