An iterator overlaying a “change on a value” (coming from the [overlaying] iterator) over a
“base value” (coming from the [underlying] iterator).
The one is matched to another by a K part (of the iterated tuple (K, V)), which both
iterators are assumed to be ordered by.
An iterator overlaying a “change on a value” (coming from the [overlaying] iterator) over a
“base value” (coming from the [underlying] iterator) which may error.
The one is matched to another by a K part (of the iterated tuple (K, V)), which both
iterators are assumed to be ordered by.