std::ranges::join_with_view::iterator::operator++,--(3)

NAME
std::ranges::join_with_view::iterator::operator++,-- - std::ranges::join_with_view::iterator::operator++,--

Synopsis
   constexpr /*iterator*/& operator++(); (1) (since C++23)
   constexpr void operator++( int ); (2) (since C++23)
   constexpr /*iterator*/ operator++( int )
     requires std::is_reference_v<InnerBase> && (3) (since C++23)
              ranges::forward_range<Base> &&
              ranges::forward_range<InnerBase>;
   constexpr /*iterator*/& operator--()
     requires std::is_reference_v<InnerBase> &&
              ranges::bidirectional_range<Base> &&
              ranges::bidirectional_range<InnerBase> && (4) (since C++23)
              ranges::common_range<InnerBase> &&
              ranges::bidirectional_range<PatternBase> &&
              ranges::common_range<PatternBase>;
   constexpr /*iterator*/ operator--( int )
     requires std::is_reference_v<InnerBase> &&
              ranges::bidirectional_range<Base> &&
              ranges::bidirectional_range<InnerBase> && (5) (since C++23)
              ranges::common_range<InnerBase> &&
              ranges::bidirectional_range<PatternBase> &&
              ranges::common_range<PatternBase>;
   Increments or decrements the iterator.
   1) Increments the stored inner iterator. (The inner iterator may point to either
   InnerBase or PatternBase.)
     * If the incremented inner iterator reaches the end of the pattern range, it is
       destroyed, and an iterator to the beginning of the next inner range is
       constructed.
     * If the incremented inner iterator reaches the end of the inner range, the outer
       iterator is incremented, and if the outer iterator is not the end iterator, the
       inner iterator is destroyed and an iterator to the beginning of the pattern
       range is constructed.
     * The above steps may be repeated (e.g. if the pattern is empty), until either the
       inner range is not empty, or the outer iterator reaches the end.
   2) Equivalent to ++*this;
   3) Equivalent to auto tmp = *this; ++*this; return tmp;
   4) If the outer iterator is the end iterator, it is decremented. Then:
     * If the stored inner iterator refers to the beginning of the inner range, it is
       destroyed, and an iterator to the end of the pattern range is constructed.
     * If the stored inner iterator refers to the beginning of the pattern range, it is
       destroyed, the outer iterator is decremented, and an iterator to end of the
       inner range is constructed.
     * The above steps may be repeated (e.g. if the pattern is empty), until the inner
       range is not empty.
   Finally, the inner iterator is decremented.
   5) Equivalent to auto tmp = *this; --*this; return tmp;
   If InnerBase is not a reference, the inner range is stored in the parent
   join_with_view for iteration. The inner range need not be movable.
   If InnerBase is a reference, and the outer iterator reaches the end, the inner
   iterator points to the beginning of the pattern range.

Parameters
   (none)

Return value
   1,4) *this
   3,5) A copy of *this that was made before the change.