depish/cppdraft_translate
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
cppdraft_translate/cppdraft/concept/equiv.md
Leonov Artur (Depish) 043225d523 Init
2025-10-25 03:02:53 +03:00

932 B
Raw Permalink Blame History

[concept.equiv]

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](#concept:equivalence_relation "18.7.6 Concept equivalence_­relation [concept.equiv]") = [relation](concept.relation#concept:relation "18.7.5 Concept relation [concept.relation]")<R, T, U>;

1

#

A relation models equivalence_relation only if it imposes an equivalence relation on its arguments.