Module type Monoid.WITH_NEUTRAL

A type t with a neutral element. This signature is mainly used to enrich a Semigroup with a neutral element.

type t

the type held by the Monoid.

val neutral : t

The neutral element of the Monoid.