module Monoid: Algebra.Monoid.S with type t := t
Algebra.Monoid.S
with type t := t
type t
val mempty : t
t
mappend mempty x = mappend x mempty = x
val mappend : t -> t -> t
t -> t -> t