tmp/tmpihntt1ic/{from.md → to.md}
RENAMED
|
@@ -7,13 +7,13 @@ A type `H` meets the requirements if:
|
|
| 7 |
and *Cpp17Destructible* ([[cpp17.destructible]]) requirements, and
|
| 8 |
- the expressions shown in [[cpp17.hash]] are valid and have the
|
| 9 |
indicated semantics.
|
| 10 |
|
| 11 |
Given `Key` is an argument type for function objects of type `H`, in
|
| 12 |
-
[[cpp17.hash]] `h` is a value of type (possibly
|
| 13 |
lvalue of type `Key`, and `k` is a value of a type convertible to
|
| 14 |
-
(possibly
|
| 15 |
|
| 16 |
[*Note 1*: Thus all evaluations of the expression `h(k)` with the same
|
| 17 |
value for `k` yield the same result for a given execution of the
|
| 18 |
program. — *end note*]
|
| 19 |
|
|
|
|
| 7 |
and *Cpp17Destructible* ([[cpp17.destructible]]) requirements, and
|
| 8 |
- the expressions shown in [[cpp17.hash]] are valid and have the
|
| 9 |
indicated semantics.
|
| 10 |
|
| 11 |
Given `Key` is an argument type for function objects of type `H`, in
|
| 12 |
+
[[cpp17.hash]] `h` is a value of type (possibly const) `H`, `u` is an
|
| 13 |
lvalue of type `Key`, and `k` is a value of a type convertible to
|
| 14 |
+
(possibly const) `Key`.
|
| 15 |
|
| 16 |
[*Note 1*: Thus all evaluations of the expression `h(k)` with the same
|
| 17 |
value for `k` yield the same result for a given execution of the
|
| 18 |
program. — *end note*]
|
| 19 |
|