[Go to site: main page, start]

18 Concepts library [concepts]

18.7 Callable concepts [concepts.callable]

18.7.6 Concept equivalence_relation [concept.equiv]

🔗
template<class R, class T, class U> concept equivalence_relation = relation<R, T, U>;
1
#
A relation models equivalence_relation only if it imposes an equivalence relation on its arguments.