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.