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)