template<
    class R0_,
    class R1_>
friend
constexpr
enable_if<!std::is_integral<R1_>::value, range_rule_t<R0_, R1_>>::type
range_rule(
    const R0_& first,
    const R1_& next,
    size_t N,
    size_t M) noexcept;