Gui_callstacks_manager.Input
include Gui_types.S
val pretty_gui_res : Stdlib.Format.formatter -> value Gui_types.gui_res -> unit
val equal_gui_res : value Gui_types.gui_res -> value Gui_types.gui_res -> bool
val vars_in_gui_res :
value Gui_types.gui_res ->
Frama_c_kernel.Cil_types.varinfo list
val pretty_gui_after :
Stdlib.Format.formatter ->
value Gui_types.gui_after ->
unit
val equal_gui_after :
value Gui_types.gui_after ->
value Gui_types.gui_after ->
bool
val make_data_for_lvalue :
Frama_c_kernel.Cil_types.lval ->
Gui_types.gui_loc ->
value data_by_callstack