tmp/tmpbkom_7xf/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,9 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
### Concept <a id="concept.relation">[[concept.relation]]</a>
|
| 2 |
+
|
| 3 |
+
``` cpp
|
| 4 |
+
template<class R, class T, class U>
|
| 5 |
+
concept relation =
|
| 6 |
+
predicate<R, T, T> && predicate<R, U, U> &&
|
| 7 |
+
predicate<R, T, U> && predicate<R, U, T>;
|
| 8 |
+
```
|
| 9 |
+
|