template<typename T, typename... Ts>
struct refl::trait::contains_base< T, type_list< Ts... > >
Checks whether a type deriving from T is contained in the list of types.
Inherits from std::bool_constant<>.
struct Base {};
struct Derived : Base {};
contains_base<Base, type_list<int, float, Derived>>::value -> true
contains_base<Base, type_list<int, float, Base>>::value -> true
contains_base<int, type_list<int, float, Derived>>::value -> false