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