PropCheck.BasicTypes.default

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

default(default_value, type)

View Source

Specs

default(raw_type(), raw_type()) :: type()

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.