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