PositiveInt

fun PositiveInt(value: Int)

Returns the value as a positive int, or throws an IllegalArgumentException if the value is strictly negative.