Module Module

module Module: sig .. end

Modules.

module type Left = sig .. end

A left module.

module type Right = sig .. end

A right module.

module type T = Left

By default, by a module, we mean a left module.

module FreeLeft: functor (R : Ring.T) -> functor (X : Alphabet.T) -> sig .. end

Free left module.

module FreeLeftModule: functor (R : Ring.T) -> functor (X : Alphabet.T) -> FreeLeft(R)(X)

module Free: functor (R : Ring.T) -> functor (X : Alphabet.T) -> FreeLeft(R)(X)

module FreeRight: functor (R : Ring.T) -> functor (X : Alphabet.T) -> sig .. end

module FreeRightModule: functor (R : Ring.T) -> functor (X : Alphabet.T) -> FreeRight(R)(X)