tmp/tmpx47x4q3u/{from.md → to.md}
RENAMED
|
@@ -19,11 +19,11 @@ template<class T, class U>
|
|
| 19 |
Let `C` be `common_reference_t<T, U>`. Let `t1` and `t2` be
|
| 20 |
equality-preserving expressions [[concepts.equality]] such that
|
| 21 |
`decltype((t1))` and `decltype((t2))` are each `T`, and let `u1` and
|
| 22 |
`u2` be equality-preserving expressions such that `decltype((u1))` and
|
| 23 |
`decltype((u2))` are each `U`. `T` and `U` model
|
| 24 |
-
`common_reference_with<T, U>` only if
|
| 25 |
|
| 26 |
- `C(t1)` equals `C(t2)` if and only if `t1` equals `t2`, and
|
| 27 |
- `C(u1)` equals `C(u2)` if and only if `u1` equals `u2`.
|
| 28 |
|
| 29 |
[*Note 1*: Users can customize the behavior of `common_reference_with`
|
|
|
|
| 19 |
Let `C` be `common_reference_t<T, U>`. Let `t1` and `t2` be
|
| 20 |
equality-preserving expressions [[concepts.equality]] such that
|
| 21 |
`decltype((t1))` and `decltype((t2))` are each `T`, and let `u1` and
|
| 22 |
`u2` be equality-preserving expressions such that `decltype((u1))` and
|
| 23 |
`decltype((u2))` are each `U`. `T` and `U` model
|
| 24 |
+
`common_reference_with<T, U>` only if
|
| 25 |
|
| 26 |
- `C(t1)` equals `C(t2)` if and only if `t1` equals `t2`, and
|
| 27 |
- `C(u1)` equals `C(u2)` if and only if `u1` equals `u2`.
|
| 28 |
|
| 29 |
[*Note 1*: Users can customize the behavior of `common_reference_with`
|