module type Abelian = sig .. end
sig
end
An abelian group (with additive conventions).
include Monoid.Abelian
val neg : t -> t
t -> t