tmp/tmphrsp6djp/{from.md → to.md}
RENAMED
|
@@ -27,11 +27,11 @@ template<class T, class U>
|
|
| 27 |
Let `C` be `common_type_t<T, U>`. Let `t1` and `t2` be
|
| 28 |
equality-preserving expressions [[concepts.equality]] such that
|
| 29 |
`decltype((t1))` and `decltype((t2))` are each `T`, and let `u1` and
|
| 30 |
`u2` be equality-preserving expressions such that `decltype((u1))` and
|
| 31 |
`decltype((u2))` are each `U`. `T` and `U` model `common_with<T, U>`
|
| 32 |
-
only if
|
| 33 |
|
| 34 |
- `C(t1)` equals `C(t2)` if and only if `t1` equals `t2`, and
|
| 35 |
- `C(u1)` equals `C(u2)` if and only if `u1` equals `u2`.
|
| 36 |
|
| 37 |
[*Note 1*: Users can customize the behavior of `common_with` by
|
|
|
|
| 27 |
Let `C` be `common_type_t<T, U>`. Let `t1` and `t2` be
|
| 28 |
equality-preserving expressions [[concepts.equality]] such that
|
| 29 |
`decltype((t1))` and `decltype((t2))` are each `T`, and let `u1` and
|
| 30 |
`u2` be equality-preserving expressions such that `decltype((u1))` and
|
| 31 |
`decltype((u2))` are each `U`. `T` and `U` model `common_with<T, U>`
|
| 32 |
+
only if
|
| 33 |
|
| 34 |
- `C(t1)` equals `C(t2)` if and only if `t1` equals `t2`, and
|
| 35 |
- `C(u1)` equals `C(u2)` if and only if `u1` equals `u2`.
|
| 36 |
|
| 37 |
[*Note 1*: Users can customize the behavior of `common_with` by
|