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 Aliases§

  • Position 🔒
    Index of an allocation within the map