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
.