sig
  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
end