toPositiveInt

@SinceKotools(project = Project.Types, version = "1.1")
fun Int.toPositiveInt(): PositiveInt

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