Public Member Functions | |
template<typename I , typename S > | |
auto | requires_ (I &&i, S &&s) -> decltype(concepts::valid_expr(concepts::model_of< Integral >(s-i), concepts::same_type(s-i, i-s))) |
![]() | |
void | requires_ (Ts &&...) |
Additional Inherited Members | |
![]() | |
using | base_concepts_t = meta::list< Concepts...> |