PropCheck.BasicTypes.frequency
You're seeing just the function
frequency
, go back to PropCheck.BasicTypes module for more information.
Specs
frequency is equivalent to weighted_union([..])