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