Header file range/v3/algorithm/reverse_copy.hpp

#include <meta/meta.hpp>

#include <range/v3/range_fwd.hpp>

#include <range/v3/begin_end.hpp>

#include <range/v3/range_concepts.hpp>

#include <range/v3/range_traits.hpp>

#include <range/v3/utility/iterator.hpp>

#include <range/v3/utility/iterator_concepts.hpp>

#include <range/v3/utility/iterator_traits.hpp>

#include <range/v3/utility/functional.hpp>

#include <range/v3/utility/static_const.hpp>

#include <range/v3/utility/tagged_pair.hpp>

#include <range/v3/algorithm/tagspec.hpp>

namespace ranges
{
    inline namespace v3
    {
        template <typename I, typename O>
        using ReverseCopyable = meta::strict_and<BidirectionalIterator<I>, WeaklyIncrementable<O>, IndirectlyCopyable<I, O>>;
        
        struct reverse_copy_fn;
        
        inline namespace 
        {
            constexpr auto& reverse_copy = static_const<with_braced_init_args<reverse_copy_fn>>::value;
        }
    }
}

Class ranges::v3::reverse_copy_fn

struct reverse_copy_fn
{
    template <typename I, typename S, typename O, int _concept_requires_45 = 42, typename std::enable_if<(_concept_requires_45==43)||(Sentinel<S, I>()&&ReverseCopyable<I, O>()), int>::type=0>
    tagged_pair<tag::in(I), tag::out(O)> operator()(I, O, I begin, S end_, O out) const;
    
    template <typename Rng, typename O, typename I = range_iterator_t<Rng>, int _concept_requires_56 = 42, typename std::enable_if<(_concept_requires_56==43)||(Range<Rng>()&&ReverseCopyable<I, O>()), int>::type=0>
    tagged_pair<tag::in(range_safe_iterator_t<Rng>), tag::out(O)> operator()(range_safe_iterator_t<Rng>, O, Rng&& rng, O out) const;
};

@{


Variable ranges::v3::reverse_copy

constexpr auto& reverse_copy = static_const<with_braced_init_args<reverse_copy_fn>>::value;

reverse_copy_fn