Kotools Types
3.2.0
4.5.2
4.5.1
4.5.0
4.4.2
4.3.1
4.3.0
4.2.0
4.1.0
4.0.1
4.0.0
3.2.0
2.0.0
1.3.1
common
Kotools Types
/
kotools.types.number
/
PositiveInt
/
div
div
open
operator
fun
div
(
other
:
StrictlyPositiveInt
)
:
PositiveInt
open
operator
fun
div
(
other
:
StrictlyNegativeInt
)
:
NegativeInt
Divides this
value
by the
other
value, truncating the result to an integer that is closer to zero.