inc

fun inc(i: Int, modulus: Int): Int

Circularly increments i, mod modulus. Precondition and postcondition: 0 <= i < modulus.