sig
  val modulo : n:Z.t -> Z.t -> Z.t
  val sum : n:Z.t -> Z.t -> Z.t -> Z.t
  val uminus : n:Z.t -> Z.t -> Z.t
end