min

val min: PositiveInt

The minimum value of a PositiveInt.