aether::mpl::is_superset_of< B, std::tuple< A, As... > > Struct Template Reference

#include <mpl.hh>

Public Types

using type = std::integral_constant< bool, value >
 

Static Public Attributes

static constexpr bool value = contains<B, A>::value && is_superset_of<B, std::tuple<As...>>::value
 

Member Typedef Documentation

template<typename B , typename A , typename... As>
using aether::mpl::is_superset_of< B, std::tuple< A, As... > >::type = std::integral_constant<bool, value>

Member Data Documentation

template<typename B , typename A , typename... As>
constexpr bool aether::mpl::is_superset_of< B, std::tuple< A, As... > >::value = contains<B, A>::value && is_superset_of<B, std::tuple<As...>>::value
static