Parameter Over_semigroup.M

type t = S.t

the type held by the Monoid.

val neutral : t

The neutral element of the Monoid.