PropCheck.BasicTypes.bool

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

Specs

bool() :: type()

bool is equivalent to boolean