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