val pp_prod : Format.formatter -> Bnf_spec.Bnf.Spec.symbol list -> unit
val pp_live_prods : Format.formatter -> int Bnf_spec.Bnf.ProdMap.t -> unit
val pp_nt : Format.formatter -> string -> Bnf_spec.Bnf.ProdSet.t -> unit
val pp_live_nt :
  Format.formatter -> string -> int * int Bnf_spec.Bnf.ProdMap.t -> unit
val pp_nt_map :
  Format.formatter -> Bnf_spec.Bnf.ProdSet.t Bnf_spec.Bnf.NTMap.t -> unit
val pp_live_nts :
  Format.formatter ->
  (int * int Bnf_spec.Bnf.ProdMap.t) Bnf_spec.Bnf.NTMap.t -> unit
val pp_ts : Format.formatter -> Bnf_spec.Bnf.TSet.t -> unit
val pp_nts : Format.formatter -> Bnf_spec.Bnf.NTSet.t -> unit
val pp_prods : Format.formatter -> Bnf_spec.Bnf.ProdSet.t -> unit