Public Types | |
template<typename C > | |
using | size_type = decltype(std::declval< const C & >().size()) |
![]() | |
using | base_concepts_t = meta::list< Concepts... > |
Public Member Functions | |
template<typename C , typename S = size_type<C>> | |
auto | requires_ (C &&c, S &&s=S{}) -> decltype( concepts::valid_expr( concepts::model_of< Integral, S >(), ((void) c.reserve(s), 42) )) |
![]() | |
void | requires_ (Ts &&...) |