sig type t = string type nt = string type prod = unit 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 end