Int.Modulo
val modulo : n:Z.t -> Z.t -> Z.t
Representative of the number in Z/nZ
val sum : n:Z.t -> Z.t -> Z.t -> Z.t
Sum in Z/nZ
val uminus : n:Z.t -> Z.t -> Z.t
Additive inverse in Z/nZ