tmp/tmp_x4ftgrk/{from.md → to.md}
RENAMED
|
@@ -93,11 +93,11 @@ template<class T, class U>
|
|
| 93 |
Let `C` be `common_reference_t<T, U>`. Let `t1` and `t2` be
|
| 94 |
equality-preserving expressions [[concepts.equality]] such that
|
| 95 |
`decltype((t1))` and `decltype((t2))` are each `T`, and let `u1` and
|
| 96 |
`u2` be equality-preserving expressions such that `decltype((u1))` and
|
| 97 |
`decltype((u2))` are each `U`. `T` and `U` model
|
| 98 |
-
`common_reference_with<T, U>` only if
|
| 99 |
|
| 100 |
- `C(t1)` equals `C(t2)` if and only if `t1` equals `t2`, and
|
| 101 |
- `C(u1)` equals `C(u2)` if and only if `u1` equals `u2`.
|
| 102 |
|
| 103 |
[*Note 1*: Users can customize the behavior of `common_reference_with`
|
|
@@ -133,11 +133,11 @@ template<class T, class U>
|
|
| 133 |
Let `C` be `common_type_t<T, U>`. Let `t1` and `t2` be
|
| 134 |
equality-preserving expressions [[concepts.equality]] such that
|
| 135 |
`decltype((t1))` and `decltype((t2))` are each `T`, and let `u1` and
|
| 136 |
`u2` be equality-preserving expressions such that `decltype((u1))` and
|
| 137 |
`decltype((u2))` are each `U`. `T` and `U` model `common_with<T, U>`
|
| 138 |
-
only if
|
| 139 |
|
| 140 |
- `C(t1)` equals `C(t2)` if and only if `t1` equals `t2`, and
|
| 141 |
- `C(u1)` equals `C(u2)` if and only if `u1` equals `u2`.
|
| 142 |
|
| 143 |
[*Note 1*: Users can customize the behavior of `common_with` by
|
|
|
|
| 93 |
Let `C` be `common_reference_t<T, U>`. Let `t1` and `t2` be
|
| 94 |
equality-preserving expressions [[concepts.equality]] such that
|
| 95 |
`decltype((t1))` and `decltype((t2))` are each `T`, and let `u1` and
|
| 96 |
`u2` be equality-preserving expressions such that `decltype((u1))` and
|
| 97 |
`decltype((u2))` are each `U`. `T` and `U` model
|
| 98 |
+
`common_reference_with<T, U>` only if
|
| 99 |
|
| 100 |
- `C(t1)` equals `C(t2)` if and only if `t1` equals `t2`, and
|
| 101 |
- `C(u1)` equals `C(u2)` if and only if `u1` equals `u2`.
|
| 102 |
|
| 103 |
[*Note 1*: Users can customize the behavior of `common_reference_with`
|
|
|
|
| 133 |
Let `C` be `common_type_t<T, U>`. Let `t1` and `t2` be
|
| 134 |
equality-preserving expressions [[concepts.equality]] such that
|
| 135 |
`decltype((t1))` and `decltype((t2))` are each `T`, and let `u1` and
|
| 136 |
`u2` be equality-preserving expressions such that `decltype((u1))` and
|
| 137 |
`decltype((u2))` are each `U`. `T` and `U` model `common_with<T, U>`
|
| 138 |
+
only if
|
| 139 |
|
| 140 |
- `C(t1)` equals `C(t2)` if and only if `t1` equals `t2`, and
|
| 141 |
- `C(u1)` equals `C(u2)` if and only if `u1` equals `u2`.
|
| 142 |
|
| 143 |
[*Note 1*: Users can customize the behavior of `common_with` by
|