Module Ranked_alphabet


module Ranked_alphabet: sig  end
Ranked alphabets over ordered types.

This module implements ranked alphabets over a totally ordered type. The implementation is based on O'Caml sets, therefore searching and insertion operations take time logarithmic in the size of the alphabet.


module type Symbol = sig  end
Input signature of the functor Alphabet.Make.
module type S = sig  end
Output signature of the functor Alphabet.Make.
module Make: functor (Sym : Symbol) -> sig  end
Functor building an implementation of the alphabet structure given a totally ordered symbol type.