|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||
Defined in header <concepts> | ||
template<class R,class T,class U> concept relation= | (1) | (since C++20) |
The conceptrelation<R, T, U> specifies thatR defines a binary relation over the set of expressions whose type and value category are those encoded by eitherT orU.
relation [concept.relation] relation [concept.relation] 
