Header file range/v3/algorithm/search.hpp

#include <meta/meta.hpp>

#include <range/v3/range_fwd.hpp>

#include <range/v3/begin_end.hpp>

#include <range/v3/empty.hpp>

#include <range/v3/distance.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>

namespace ranges
{
    inline namespace v3
    {
        template <typename I1, typename I2, typename C = equal_to, typename P1 = ident, typename P2 = ident>
        using Searchable = meta::strict_and<ForwardIterator<I1>, ForwardIterator<I2>, Comparable<I1, I2, C, P1, P2>>;
        
        struct search_fn;
        
        inline namespace 
        {
            constexpr auto& search = static_const<with_braced_init_args<search_fn>>::value;
        }
    }
}

Class ranges::v3::search_fn

struct search_fn
{
    template <typename I1, typename S1, typename I2, typename S2, typename C = equal_to, typename P1 = ident, typename P2 = ident, int _concept_requires_125 = 42, typename std::enable_if<(_concept_requires_125==43)||(Searchable<I1, I2, C, P1, P2>()&&Sentinel<S1, I1>()&&Sentinel<S2, I2>()), int>::type=0>
    I1 operator()(I1 begin1, S1 end1, I2 begin2, S2 end2, C pred_ = C{}, P1 proj1_ = P1{}, P2 proj2_ = P2{}) const;
    
    template <typename Rng1, typename Rng2, typename C = equal_to, typename P1 = ident, typename P2 = ident, typename I1 = range_iterator_t<Rng1>, typename I2 = range_iterator_t<Rng2>, int _concept_requires_151 = 42, typename std::enable_if<(_concept_requires_151==43)||(Searchable<I1, I2, C, P1, P2>()&&Range<Rng1>()&&Range<Rng2>()), int>::type=0>
    range_safe_iterator_t<Rng1> operator()(Rng1&& rng1, Rng2&& rng2, C pred_ = C{}, P1 proj1_ = P1{}, P2 proj2_ = P2{}) const;
};

@{


Variable ranges::v3::search

constexpr auto& search = static_const<with_braced_init_args<search_fn>>::value;

search_fn