module Make: functor (V : Abstractions.Value) -> sig .. end
functor (
V
:
Abstractions.Value
) ->
sig
end
include Gui_types.S
val get_cvalue : (V.t -> Main_values.CVal.t) option
(V.t -> Main_values.CVal.t) option
val from_cvalue : Main_values.CVal.t -> V.t
Main_values.CVal.t -> V.t