PropCheck.BasicTypes.choose

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

Specs

choose(ext_int(), ext_int()) :: type()

choose is equivalent to integer(low, high)