sig
  type elt
  val sexp_of_elt : Algebraic_group.S.elt -> Sexplib.Sexp.t
  val elt_of_sexp : Sexplib.Sexp.t -> Algebraic_group.S.elt
  val zero : Algebraic_group.S.elt
  val ( + ) :
    Algebraic_group.S.elt -> Algebraic_group.S.elt -> Algebraic_group.S.elt
  val ( - ) :
    Algebraic_group.S.elt -> Algebraic_group.S.elt -> Algebraic_group.S.elt
end