11 #include <type_traits> 17 template<
template<
typename>
class Pred>
26 using Result_t = std::integral_constant<bool, !V>;
33 template<
template<
typename>
class Pred,
typename... Args>
34 constexpr
auto AllOf = (Pred<Args> {} && ...);
36 template<
template<
typename>
class Pred,
typename... Args>
37 constexpr
auto AnyOf = (Pred<Args> {} || ...);
std::integral_constant< bool, !V > Result_t