Module Alphabet

module Alphabet: sig .. end

Alphabets.

An alphabet is simply another name for a set, but the module Set already exists.

module type T = sig .. end

An alphabet.

module Char: sig .. end

The alphabet of characters.

module CharAlphabet: Char

module Int: sig .. end

The alphabet of integers.

module IntAlphabet: Int

module Unit: sig .. end

The alphabet with one element.

module Prod: functor (A : T) -> functor (B : T) -> sig .. end

Product of alphabets.

module Prod3: functor (A : T) -> functor (B : T) -> functor (C : T) -> sig .. end

Triple product of alphabets.

module Pow: functor (A : T) -> sig .. end

Powerset.

module PowAlphabet: functor (A : T) -> Pow(A)

module Map: functor (A : T) -> functor (B : T) -> sig .. end

Functions between alphabets.