PropCheck.BasicTypes.pos_integer
You're seeing just the function
pos_integer
, go back to PropCheck.BasicTypes module for more information.
Specs
pos_integer() :: type()
Strictly positive integers, i.e. integer(1, :inf)