Functor Gui_types.Make

module Make: 
functor (V : Abstractions.Value-> sig .. end

The types below depend on the abstract values currently available.

Parameters:
V : Abstractions.Value

include Gui_types.S
val get_cvalue : (V.t -> Main_values.CVal.t) option
val from_cvalue : Main_values.CVal.t -> V.t