Module Cvalue.V_Offsetmap

module V_Offsetmap: sig .. end

Memory slices. They are maps from intervals to values with flags. All sizes and intervals are in bits.

include Offsetmap_sig

val narrow : t -> t -> t Lattice_bounds.or_bottom

val narrow_reinterpret : t -> t -> t Lattice_bounds.or_bottom

See the corresponding functions in Offsetmap_sig.