Module Sample.Summary.Monoid

module Monoid: Algebra.Monoid.S  with type t := t

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