Header file range/v3/action/slice.hpp

#include <meta/meta.hpp>

#include <range/v3/range_fwd.hpp>

#include <range/v3/action/action.hpp>

#include <range/v3/action/erase.hpp>

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

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

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

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

namespace ranges
{
    inline namespace v3
    {
        namespace action
        {
            struct slice_fn
            {
                struct ConceptImpl
                {
                    template <typename Rng, typename T, typename U, typename I = range_iterator_t<Rng>, typename D = range_difference_t<Rng>>
                    decltype(concepts::valid_expr(concepts::model_of<concepts::ForwardRange, Rng>(), concepts::model_of<concepts::ErasableRange, Rng, I, I>(), concepts::model_of<concepts::ConvertibleTo, T, D>(), concepts::model_of<concepts::ConvertibleTo, U, D>())) requires_(Rng&&, T&&, U&&);
                };
                
                template <typename Rng, typename T, typename U>
                using Concept = concepts::models<ConceptImpl, Rng, T, U>;
                
                template <typename Rng, typename I = range_iterator_t<Rng>, typename D = range_difference_t<Rng>, int _concept_requires_67 = 42, typename std::enable_if<(_concept_requires_67==43)||(Concept<Rng, D, D>()), int>::type=0>
                Rng operator()(Rng&& rng, range_difference_t<Rng> from, range_difference_t<Rng> to) const;
                
                template <typename Rng, typename T, typename U, int _concept_requires_79 = 42, typename std::enable_if<(_concept_requires_79==43)||(!Concept<Rng, T, U>()), int>::type=0>
                void operator()(Rng&&, T&&, U&&) const;
            };
            
            inline namespace 
            {
                constexpr auto& slice = static_const<action<slice_fn>>::value;
            }
        }
    }
}