Module type Algebra.Monoid.S

module type S = sig .. end

type t 
val mempty : t
Identity, subject to mappend mempty x = mappend x mempty = x.
val mappend : t -> t -> t
Associative binary operation.