Module type Monoid.WITH_NEUTRAL_AND_COMBINE

type t

the type held by the Monoid.

val combine : t -> t -> t

combine x y Combine two values (x and y) of t into one.

val neutral : t

The neutral element of the Monoid.