Module Monoid

module Monoid: sig .. end

Monoids.

module type T = sig .. end

A monoid.

module type Abelian = sig .. end

A commutative monoid.

module Free: functor (X : Alphabet.T) -> sig .. end

The free monoid on a set.

module FreeMonoid: functor (X : Alphabet.T) -> Free(X)

module Presentation: functor (X : Alphabet.T) -> sig .. end

Oriented presentation of a monoid.

module Generate: functor (X : Alphabet.T  with type t = int) -> sig .. end

module Alphabet: functor (M : T) -> sig .. end

Underlying alphabet of a monoid.