Module Cvalue

module Cvalue: sig .. end
Representation of Value's abstract memory.

module CardinalEstimate: sig .. end
Estimation of the cardinal of the concretization of an abstract state or value.
module V: sig .. end
Values.
module V_Or_Uninitialized: sig .. end
Values with 'undefined' and 'escaping addresses' flags.
module V_Offsetmap: sig .. end
Memory slices.
module Default_offsetmap: sig .. end
Values bound by default to a variable.
module Model: sig .. end
Memories.