PropCheck.BasicTypes.range

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

Specs

range(ext_int(), ext_int()) :: type()

A range is equivalent to integers