preface.make
Over_semigroup.M
preface
preface.core
preface.specs
preface.stdlib
type t = S.t
the type held by the Monoid.
Monoid
val neutral : t
The neutral element of the Monoid.