Module miri::concurrency::range_object_map
source · Expand description
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 🔒
Enums§
Type Aliases§
- Position 🔒Index of an allocation within the map