To_monoid.Monoid
type t
the type held by the Monoid.
Monoid
val combine : t -> t -> t
combine x y Combine two values (x and y) of t into one.
combine x y
x
y
t
val neutral : t
The neutral element of the Monoid.