times

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

Multiplies this value by the other value.