sig
  val flatten_tree : Structure.tree -> Structure.symbol list list
  val print_symbol : Format.formatter -> Structure.symbol -> unit
  val print_meta :
    Format.formatter -> string -> Structure.symbol list -> unit
  val print_symbol1 : Format.formatter -> Structure.symbol -> unit
  val print_rule : Format.formatter -> Structure.symbol list -> unit
  val print_level :
    Format.formatter ->
    (Format.formatter -> unit -> unit) -> Structure.symbol list list -> unit
  val levels : Format.formatter -> Structure.level list -> unit
  val entry : Format.formatter -> Structure.internal_entry -> unit
end