Public Types | |
template<typename T > | |
using | size_t = decltype(size(val< T >())) |
![]() | |
using | base_concepts_t = meta::list< Concepts...> |
Public Member Functions | |
template<typename T > | |
auto | requires_ (T &&t) -> decltype(concepts::valid_expr(concepts::model_of< Integral >(size(t)), concepts::is_true(is_sized_iterable< T >()))) |
![]() | |
void | requires_ (Ts &&...) |