1template<typename T, typename VARIANT_T>
2struct variant_member;
3
4template<typename T, typename... ALL_T>
5struct variant_member<T, std::variant<ALL_T...>>
6 : public std::disjunction<std::is_same<T, ALL_T>...> {};
7
8// Using as: variant_member<TYPE, VARIANT>::value