Module type Commutative_group.S

module type S = sig .. end

type t 

val zero : t

val (+) : t -> t -> t

val (-) : t -> t -> t

val t_of_sexp : Sexplib.Sexp.t -> t

val sexp_of_t : t -> Sexplib.Sexp.t