Public Member Functions | |
template<typename T > | |
auto | requires_ (T t) -> decltype(concepts::valid_expr(concepts::model_of< Integral >(t-t), concepts::has_type< T & >(t+=(t-t)), concepts::has_type< T & >(t-=(t-t)), concepts::convertible_to< T >(t-(t-t)), concepts::convertible_to< T >(t+(t-t)), concepts::convertible_to< T >((t-t)+t))) |
![]() | |
void | requires_ (Ts &&...) |
Additional Inherited Members | |
![]() | |
using | base_concepts_t = meta::list< Concepts...> |