Input (frama-c-eva.Eva_gui.Gui_callstacks

include Gui_types.S

type value

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