cpp/ranges/cartesian product view/iterator/iter move

Let be the underlying tuple of iterators.

Equivalent to:

Return value
A tuple that contains the result of applying to the stored underlying iterators converted to the return type, as described above.

Exceptions
The exception specification is equivalent to the logical AND of the following expressions:
 * for every integer ,
 * for every type in.