PropCheck.BasicTypes.nat

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

Specs

nat() :: type()

Small Small non-negative integers (bound by the current value of the size parameter).

Instances shrink towards 0.