PropCheck.BasicTypes.non_neg_integer
You're seeing just the function
non_neg_integer
, go back to PropCheck.BasicTypes module for more information.
Specs
non_neg_integer() :: type()
Non negative integers, i.e. integer(0, :inf)