Module type Ranked_alphabet.Symbol


module type Symbol = sig  end
Input signature of the functor Alphabet.Make.

type t 
Type of the symbols of the alphabet.
val rank : t -> int
rank x returns the rank of symbol x.
val compare : t -> t -> int
A total ordering function over the symbols.
val to_string : t -> string
A string representation of the symbols.