module Ranked_alphabet: sig end
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
Alphabet.Make
.
module type S = sig end
Alphabet.Make
.
module Make: functor (Sym : Symbol) -> sig end