module type Symbol = sig end
sig end
Alphabet.Make
type t
val rank : t -> int
t -> int
rank x
x
val compare : t -> t -> int
t -> t -> int
val to_string : t -> string
t -> string
string