Module type Base.Commutative_group.S

type t
include sig ... end
val t_of_sexp : Base__.Sexplib.Sexp.t ‑> t
val sexp_of_t : t ‑> Base__.Sexplib.Sexp.t
val zero : t
val (+) : t ‑> t ‑> t
val (-) : t ‑> t ‑> t