cpp/ranges/adjacent transform view

@1@ is a range adaptor that takes a  and an invocable object, and produces a  whose $th$ element is a value that is the result of applying to each element in  of the original view. always has.

@@ Let be the size of the original view. Then the size of produced view is:
 * , if ,
 * otherwise, and the resulting view is empty.

@2@ The name denotes a. Given subexpressions and, and a constant expression , the expression  is expression-equivalent to:
 * , if is equal to  (except that the evaluations of  and  are indeterminately sequenced),
 * otherwise.

always models, and models , , or , if adapted type models the corresponding concept.

Data members
Typical implementations of hold two non-static data members: These names are for exposition only.
 * of type ,
 * of type

Deduction guides
(none)