PropCheck.BasicTypes.choose
You're seeing just the function
choose
, go back to PropCheck.BasicTypes module for more information.
Specs
choose is equivalent to integer(low, high)