Module miri::concurrency::range_object_map

Implements a map from allocation ranges to data. This is somewhat similar to RangeMap, but the ranges and data are discrete and non-splittable – they represent distinct “objects”. An allocation in the map will always have the same range until explicitly removed

Structs

• Elem 🔒
• RangeObjectMap

Enums

• AccessType

Type Aliases

• Position 🔒
  Index of an allocation within the map