Public Member Functions | |
template<typename Fun , typename T , typename U > | |
auto | requires_ (Fun &&, T &&, U &&) -> decltype( concepts::valid_expr( concepts::model_of< Relation, function_type< Fun >, T, U >() )) |
Public Member Functions inherited from ranges::v3::concepts::refines< CallablePredicate > | |
void | requires_ (Ts &&...) |
Additional Inherited Members | |
Public Types inherited from ranges::v3::concepts::refines< CallablePredicate > | |
using | base_concepts_t = meta::list< Concepts... > |