[−][src]Module math::iter::common_refinement_zip

If part of the iterators outputs are disjoint increasing integer intervals, then the iterators can be zipped together and the iteration can proceeds at the granularity of the common refinements of all the integer intervals.