type t
Terminals
type nt
Nonterminals
type prod
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
