Public Member Functions | |
template<typename I , typename S , typename D = WeaklyIncrementable::difference_t<I>> | |
auto | requires_ (I &&i, S &&s) -> decltype( concepts::valid_expr( concepts::is_false( disable_sized_iterator_range< uncvref_t< I >, uncvref_t< S >>()), concepts::has_type< D >(s-i), concepts::has_type< D >(i-s) )) |
![]() | |
void | requires_ (Ts &&...) |
Additional Inherited Members | |
![]() | |
using | base_concepts_t = meta::list< Concepts... > |