Core_over_semigroup.M
type t = S.t
the type held by the Monoid.
Monoid
val neutral : t
The neutral element of the Monoid.