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))) |
Public Member Functions inherited from ranges::v3::concepts::refines< BidirectionalIncrementable > | |
void | requires_ () |
Additional Inherited Members | |
Public Types inherited from ranges::v3::concepts::refines< BidirectionalIncrementable > | |
using | base_concepts_t = meta::list< Concepts... > |