package cfg

  1. Overview
  2. Docs
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_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