module type Abelian = sig .. end
sig
end
A commutative monoid.
type t
val eq : t -> t -> bool
t -> t -> bool
val add : t -> t -> t
t -> t -> t
val zero : t
t
val to_string : t -> string
t -> string