Module Main_values.CVal

module CVal: Abstract_value.Leaf  with type t = Cvalue.V.t

Abstract values built over Cvalue.V


include Abstract_value.S
val key : t Abstract_value.key

The key identifies the module and the type t of abstract values.