type t = string
Terminals
type nt = string
Nonterminals
type prod = unit
Productions
type symbol =
| NT of nt
| T of t
val compare_t : t -> t -> int
val compare_nt : nt -> nt -> int
val compare_prod : prod -> prod -> int
