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 show_current : unit -> unit
val on_current_history : unit -> (unit -> unit) -> unit
val apply_on_selected : (Pretty_source.localizable -> unit) -> unit
val set_display_elt_callback : (History.history_elt -> unit) -> unit
val create_buttons : Menu_manager.menu_manager -> Menu_manager.item array
end