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