times

infix operator fun times(other: Int): Int
infix operator fun times(other: NonZeroInt): Int
infix operator fun times(other: PositiveInt): PositiveInt
infix operator fun times(other: StrictlyPositiveInt): PositiveInt
infix operator fun times(other: NegativeInt): NegativeInt
infix operator fun times(other: StrictlyNegativeInt): NegativeInt

Multiplies this value by the other value.