sig
  type history_elt =
      Global of Cil_types.global
    | Localizable of Pretty_source.localizable
  val is_empty : unit -> bool
  val can_go_back : unit -> bool
  val can_go_forward : unit -> bool
  val back : unit -> unit
  val forward : unit -> unit
  val push : History.history_elt -> unit
  val get_current : unit -> History.history_elt option
  val show_current : unit -> unit
  val on_current_history : unit -> (unit -> unit) -> unit
  val apply_on_selected : (Pretty_source.localizable -> unit) -> unit
  val translate_history_elt :
    History.history_elt -> History.history_elt option
  val set_display_elt_callback : (History.history_elt -> unit) -> unit
  val create_buttons : Menu_manager.menu_manager -> Menu_manager.item array
end