From Jason Turner

[pairs.spec]

Diff to HTML by rtfpessoa

tmp/tmpo6c57cp2/{from.md → to.md} RENAMED
@@ -3,12 +3,13 @@
3
  ``` cpp
4
  template<class T1, class T2, class U1, class U2>
5
  constexpr bool operator==(const pair<T1, T2>& x, const pair<U1, U2>& y);
6
  ```
7
 
8
- *Preconditions:* Each of `decltype(x.first == y.first)` and
9
- `decltype(x.second == y.second)` models `boolean-testable`.
 
10
 
11
  *Returns:* `x.first == y.first && x.second == y.second`.
12
 
13
  ``` cpp
14
  template<class T1, class T2, class U1, class U2>
 
3
  ``` cpp
4
  template<class T1, class T2, class U1, class U2>
5
  constexpr bool operator==(const pair<T1, T2>& x, const pair<U1, U2>& y);
6
  ```
7
 
8
+ *Constraints:* `x.first == y.first` and `x.second == y.second` are valid
9
+ expressions and each of `decltype(x.first == y.first)` and
10
+ `decltype(x.second == y.second)` models *`boolean- testable`*.
11
 
12
  *Returns:* `x.first == y.first && x.second == y.second`.
13
 
14
  ``` cpp
15
  template<class T1, class T2, class U1, class U2>