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 Bottom.Type.or_bottom
val narrow_reinterpret : t -> t -> t Bottom.Type.or_bottom

See the corresponding functions in Offsetmap_sig.