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::is_false(disable_sized_range< uncvref_t< T >>()), size(t) )) |
![]() | |
void | requires_ (Ts &&...) |