Monoid.Core_over_semigroup
module S : Preface_specs.Semigroup.CORE
module M : Preface_specs.Monoid.WITH_NEUTRAL with type t = S.t
type t = M.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.