sig
  type t
  val zero : Commutative_group.S.t
  val ( + ) :
    Commutative_group.S.t -> Commutative_group.S.t -> Commutative_group.S.t
  val ( - ) :
    Commutative_group.S.t -> Commutative_group.S.t -> Commutative_group.S.t
  val t_of_sexp : Sexplib.Sexp.t -> Commutative_group.S.t
  val sexp_of_t : Commutative_group.S.t -> Sexplib.Sexp.t
end