module CVal: Abstract_value.Leaf with type t = Cvalue.V.t
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
t Abstract_value.key
The key identifies the module and the type t of abstract values.
t