Frama-C API - Input
include Gui_types.S
val pretty_gui_res : Stdlib.Format.formatter -> value Gui_types.gui_res -> unitval equal_gui_res : value Gui_types.gui_res -> value Gui_types.gui_res -> boolval vars_in_gui_res : value Gui_types.gui_res -> Frama_c_kernel.Cil_types.varinfo listval pretty_gui_after : Stdlib.Format.formatter -> value Gui_types.gui_after -> unitval equal_gui_after : value Gui_types.gui_after -> value Gui_types.gui_after -> boolval make_data_for_lvalue : Frama_c_kernel.Cil_types.lval -> Gui_types.gui_loc -> value data_by_callstack