di::meta::Contains Concept Reference

#include <di/meta/list.h>

Concept definition

template<typename List, typename T>
concept di::meta::Contains =  concepts::TypeList<List> && (Lookup<T, List> < Size<List>)