positiveInt type: An integer with a value that is positive (e.g. >0)

positiveInt
value
Primitive value for positiveInt