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