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
Enums
Type Definitions
Position 🔒
Index of an allocation within the map