cpp/experimental/ranges/iterator/projected

The class template bundles a  type  and a function  into a new  type whose  type is the result of applying  to the  type of. It exists solely to ease constraint specification, and so its may not be actually defined.