Module Incr_map_collate.Instrumentation

type t = {
  1. key_to_rank : Incr_map.Instrumentation.t;
    (*

    Invoked when converting the key range to a rank range

    *)
  2. subrange_by_rank : Incr_map.Instrumentation.t;
    (*

    Invoked when subrange_by_rank is computed, to compute the reduced range

    *)
  3. filter : Incr_map.Instrumentation.t;
    (*

    Invoked when the filter is computed

    *)
  4. fold : Incr_map.Instrumentation.t;
    (*

    Invoked at the end when folding back into the resulting data structure

    *)
  5. sort : Incr_map.Instrumentation.t;
    (*

    Invoked when the dataset is being sorted

    *)
}

Gives an instrumentation hook at various points into the phases of Incr_map_collate.