Kotools Types
1.3.1
4.5.3
4.5.2
4.5.1
4.5.0
4.4.2
4.3.1
4.2.0
4.1.0
4.0.1
3.2.0
2.0.0
1.3.1
Kotools Types
/
kotools.types.number
/
PositiveInt
/
times
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.