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