PropCheck.BasicTypes.real
You're seeing just the function
real
, go back to PropCheck.BasicTypes module for more information.
Specs
real() :: type()
real is equivalent to float