Module type Algebraic_group.S


module type S = sig .. end

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