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 set_forward : History.history_elt list -> unit   val get_current : unit -> History.history_elt option   val show_current : unit -> unit   val on_current_history : unit -> (unit -> unit) -> unit   val selected_localizable : unit -> Pretty_source.localizable option   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