functor (V : Abstractions.Value->
  sig
    val pretty_gui_res : Format.formatter -> V.t gui_res -> unit
    val equal_gui_res : V.t gui_res -> V.t gui_res -> bool
    val vars_in_gui_res : V.t gui_res -> Cil_types.varinfo list
    val pretty_gui_after : Format.formatter -> V.t gui_after -> unit
    val equal_gui_after : V.t gui_after -> V.t gui_after -> bool
    val get_cvalue : (V.t -> Main_values.CVal.t) option
    val from_cvalue : Main_values.CVal.t -> V.t
  end