Module Algebra

module Algebra: sig .. end

Algebras.

module type T = sig .. end

An algebra.

module Free: functor (K : Field.T) -> functor (M : Monoid.T) -> sig .. end

Free algebra of a monoid over a ring.

module FreeAlgebra: functor (K : Field.T) -> functor (M : Monoid.T) -> Free(K)(M)

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

Presentation of an algebra.

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