sig
  type value
  val pretty_gui_res :
    Format.formatter -> Gui_types.S.value Gui_types.gui_res -> unit
  val equal_gui_res :
    Gui_types.S.value Gui_types.gui_res ->
    Gui_types.S.value Gui_types.gui_res -> bool
  val vars_in_gui_res :
    Gui_types.S.value Gui_types.gui_res -> Cil_types.varinfo list
  val pretty_gui_after :
    Format.formatter -> Gui_types.S.value Gui_types.gui_after -> unit
  val equal_gui_after :
    Gui_types.S.value Gui_types.gui_after ->
    Gui_types.S.value Gui_types.gui_after -> bool
end