160 void swapIterators(T &First, T &FirstEnd, T &Second, T &SecondEnd) {  in swapIterators()  argument
162   std::swap(FirstEnd, SecondEnd);  in swapIterators()
178   iterator SecondEnd = RHS.end();  in unite()  local
194       if (++Second == SecondEnd)  in unite()
233       swapIterators(First, FirstEnd, Second, SecondEnd);  in unite()
249         if (++Second == SecondEnd) {  in unite()
286         return AppendTheRest(++Second, SecondEnd);  in unite()
295       swapIterators(First, FirstEnd, Second, SecondEnd);  in unite()
311       return AppendTheRest(Second, SecondEnd);  in unite()
522                  FirstEnd = LHS.end(), SecondEnd = RHS.end();  in intersect()  local
527   while (First != FirstEnd && Second != SecondEnd) {  in intersect()
533       swapIterators(First, FirstEnd, Second, SecondEnd);  in intersect()
567         swapIterators(First, FirstEnd, Second, SecondEnd);  in intersect()
585     } while (Second != SecondEnd);  in intersect()