Module Generic_util_monoid.T

module T: sig .. end
A monoid is given by a neutral element and a binary operation that should satisfy the laws:

mappend x mempty = x
mappend mempty x = x


type 't monoid = {
   mempty : 't;
   mappend : 't -> 't -> 't;
}