val terminal : Format.formatter -> terminal -> unitval nonterminal : Format.formatter -> nonterminal -> unitval symbol : Format.formatter -> symbol -> unitval mangled_nonterminal : Format.formatter -> nonterminal -> unitval mangled_symbol : Format.formatter -> symbol -> unitval production : Format.formatter -> production -> unitval item : Format.formatter -> item -> unitval itemset : Format.formatter -> item list -> unitval annot_item : string list -> Format.formatter -> item -> unitval annot_itemset : string list list -> Format.formatter -> item list -> unit