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)