Module Cvalue.V_Offsetmap

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. They are maps from intervals to values with flags. All sizes and intervals are in bits.