PositiveInt

@SinceKotools(project = Project.Types, version = "1.1")
fun PositiveInt(value: Int): PositiveInt
Content copied to clipboard

Returns the value as a PositiveInt, or throws an PositiveInt.ConstructionError if the value is strictly negative.