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