From Jason Turner

[common.iter.cmp]

Diff to HTML by rtfpessoa

tmp/tmpc8t5ieyx/{from.md → to.md} RENAMED
@@ -5,12 +5,12 @@ template<class I2, sentinel_for<I> S2>
5
  requires sentinel_for<S, I2>
6
  friend constexpr bool operator==(
7
  const common_iterator& x, const common_iterator<I2, S2>& y);
8
  ```
9
 
10
- *Preconditions:* `x.v_.valueless_by_exception()` and
11
- `y.v_.valueless_by_exception()` are each `false`.
12
 
13
  *Returns:* `true` if i` == `j, and otherwise
14
  `get<`i`>(x.v_) == get<`j`>(y.v_)`, where i is `x.v_.index()` and j is
15
  `y.v_.index()`.
16
 
@@ -19,12 +19,12 @@ template<class I2, sentinel_for<I> S2>
19
  requires sentinel_for<S, I2> && equality_comparable_with<I, I2>
20
  friend constexpr bool operator==(
21
  const common_iterator& x, const common_iterator<I2, S2>& y);
22
  ```
23
 
24
- *Preconditions:* `x.v_.valueless_by_exception()` and
25
- `y.v_.valueless_by_exception()` are each `false`.
26
 
27
  *Returns:* `true` if i and j are each `1`, and otherwise
28
  `get<`i`>(x.v_) == get<`j`>(y.v_)`, where i is `x.v_.index()` and j is
29
  `y.v_.index()`.
30
 
@@ -33,12 +33,12 @@ template<sized_sentinel_for<I> I2, sized_sentinel_for<I> S2>
33
  requires sized_sentinel_for<S, I2>
34
  friend constexpr iter_difference_t<I2> operator-(
35
  const common_iterator& x, const common_iterator<I2, S2>& y);
36
  ```
37
 
38
- *Preconditions:* `x.v_.valueless_by_exception()` and
39
- `y.v_.valueless_by_exception()` are each `false`.
40
 
41
  *Returns:* `0` if i and j are each `1`, and otherwise
42
  `get<`i`>(x.v_) - get<`j`>(y.v_)`, where i is `x.v_.index()` and j is
43
  `y.v_.index()`.
44
 
 
5
  requires sentinel_for<S, I2>
6
  friend constexpr bool operator==(
7
  const common_iterator& x, const common_iterator<I2, S2>& y);
8
  ```
9
 
10
+ `x.v_.valueless_by_exception()` and `y.v_.valueless_by_exception()` are
11
+ each `false`.
12
 
13
  *Returns:* `true` if i` == `j, and otherwise
14
  `get<`i`>(x.v_) == get<`j`>(y.v_)`, where i is `x.v_.index()` and j is
15
  `y.v_.index()`.
16
 
 
19
  requires sentinel_for<S, I2> && equality_comparable_with<I, I2>
20
  friend constexpr bool operator==(
21
  const common_iterator& x, const common_iterator<I2, S2>& y);
22
  ```
23
 
24
+ `x.v_.valueless_by_exception()` and `y.v_.valueless_by_exception()` are
25
+ each `false`.
26
 
27
  *Returns:* `true` if i and j are each `1`, and otherwise
28
  `get<`i`>(x.v_) == get<`j`>(y.v_)`, where i is `x.v_.index()` and j is
29
  `y.v_.index()`.
30
 
 
33
  requires sized_sentinel_for<S, I2>
34
  friend constexpr iter_difference_t<I2> operator-(
35
  const common_iterator& x, const common_iterator<I2, S2>& y);
36
  ```
37
 
38
+ `x.v_.valueless_by_exception()` and `y.v_.valueless_by_exception()` are
39
+ each `false`.
40
 
41
  *Returns:* `0` if i and j are each `1`, and otherwise
42
  `get<`i`>(x.v_) - get<`j`>(y.v_)`, where i is `x.v_.index()` and j is
43
  `y.v_.index()`.
44