Module type Gui_types.S

module type S = sig .. end

type value 
val pretty_gui_res : 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 -> Cil_types.varinfo list
val pretty_gui_after : Format.formatter -> value Gui_types.gui_after -> unit
val equal_gui_after : value Gui_types.gui_after ->
value Gui_types.gui_after -> bool