Defined in carb/cpp/TypeTraits.h

template<typename ...B>
struct conjunction : public detail::conjunction_impl<B...>

A conjunction is the logical and of all B traits.

An empty list results in a true value. This meta-function is short-circuiting.

Template Parameters

B – The series of traits to evaluate the value member of. Each B must have a member constant value which is convertible to bool. Use of carb::cpp::bool_constant is helpful here.