sig
  type t
  type nt
  type prod
  type symbol = NT of Cfg_intf.SPEC.nt | T of Cfg_intf.SPEC.t
  val compare_t : Cfg_intf.SPEC.t -> Cfg_intf.SPEC.t -> int
  val compare_nt : Cfg_intf.SPEC.nt -> Cfg_intf.SPEC.nt -> int
  val compare_prod : Cfg_intf.SPEC.prod -> Cfg_intf.SPEC.prod -> int
end