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: module type of Offsetmap_sig
with type v = V_Or_Uninitialized.t
and type widen_hint = V_Or_Uninitialized.widen_hint
Memory slices.
module Default_offsetmap: sig
.. end
Values bound by default to a variable.
module Model: sig
.. end
Memories.