|
4174 | 4174 | \item \tcode{eq(r1, ke) == eq(ke, r1)},
|
4175 | 4175 | \item \tcode{hf(r1) == hf(ke)} if \tcode{eq(r1, ke)} is \tcode{true}, and
|
4176 | 4176 | \item if any two of
|
4177 |
| - \tcode{eq(r1, ke)}, \tcode{eq(r2, ke)} and \tcode{eq(r1, r2)} |
| 4177 | + \tcode{eq(r1, ke)}, \tcode{eq(r2, ke)}, and \tcode{eq(r1, r2)} |
4178 | 4178 | are \tcode{true}, then all three are \tcode{true},
|
4179 | 4179 | \end{itemize}
|
4180 | 4180 | where \tcode{r1} and \tcode{r2} are keys of elements in \tcode{a_tran},
|
|
4184 | 4184 | \item \tcode{eq(r1, kx) == eq(kx, r1)},
|
4185 | 4185 | \item \tcode{hf(r1) == hf(kx)} if \tcode{eq(r1, kx)} is \tcode{true},
|
4186 | 4186 | \item if any two of
|
4187 |
| - \tcode{eq(r1, kx)}, \tcode{eq(r2, kx)} and \tcode{eq(r1, r2)} |
| 4187 | + \tcode{eq(r1, kx)}, \tcode{eq(r2, kx)}, and \tcode{eq(r1, r2)} |
4188 | 4188 | are \tcode{true}, then all three are \tcode{true}, and
|
4189 | 4189 | \item \tcode{kx} is not convertible to
|
4190 | 4190 | either \tcode{iterator} or \tcode{const_iterator},
|
|
0 commit comments