public operator fun NegativeInt.div(other: StrictlyPositiveInt): NegativeInt = TODO()
public operator fun NegativeInt.div(other: StrictlyNegativeInt): PositiveInt = TODO()
public operator fun NegativeInt.rem(other: NonZeroInt): NegativeInt = TODO()
public operator fun NegativeInt.rem(other: StrictlyPositiveInt): NegativeInt = TODO()
public operator fun NegativeInt.rem(other: StrictlyNegativeInt): NegativeInt = TODO()
Description
Implement the following operations:
Checklist