Module Main_values.CVal

module CVal: Abstract_value.Internal  with type t = Cvalue.V.t
Abstract values built over Cvalue.V

include Abstract_value.S
val structure : t Abstract_value.structure