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