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
.