Inheritance diagram for ranges::v3::concepts::TotallyOrdered:Public Member Functions | |
| template<typename T > | |
| void | requires_ (T &&) |
| template<typename T , typename U > | |
| auto | requires_ (T &&, U &&) -> decltype( concepts::valid_expr( concepts::model_of< TotallyOrdered >(val< T >()), concepts::model_of< TotallyOrdered >(val< U >()) )) |
Public Member Functions inherited from ranges::v3::concepts::refines< EqualityComparable, WeaklyOrdered > | |
| void | requires_ (Ts &&...) |
Additional Inherited Members | |
Public Types inherited from ranges::v3::concepts::refines< EqualityComparable, WeaklyOrdered > | |
| using | base_concepts_t = meta::list< Concepts... > |