cpp/iterator/projected

@1@ Class template combines an  type  and a callable object type  into a new  type whose reference type is the result of applying  to the.

@2@ This specialization of std makes a  type when  is also a  type.

is used only to constrain algorithms that accept callable objects and projections, and hence its is not defined.