tmp/tmp26r8rlwu/{from.md → to.md}
RENAMED
|
@@ -28,10 +28,10 @@ meets this requirement.
|
|
| 28 |
— *end example*]
|
| 29 |
|
| 30 |
In this context, the behavior of a program that supplies an argument
|
| 31 |
other than a literal `0` is undefined.
|
| 32 |
|
| 33 |
-
For the purposes of
|
| 34 |
-
|
| 35 |
where `f` denotes a function that reads only comparison-salient state
|
| 36 |
that is accessible via the argument’s public const members.
|
| 37 |
|
|
|
|
| 28 |
— *end example*]
|
| 29 |
|
| 30 |
In this context, the behavior of a program that supplies an argument
|
| 31 |
other than a literal `0` is undefined.
|
| 32 |
|
| 33 |
+
For the purposes of [[cmp.categories]], *substitutability* is the
|
| 34 |
+
property that `f(a) == f(b)` is `true` whenever `a == b` is `true`,
|
| 35 |
where `f` denotes a function that reads only comparison-salient state
|
| 36 |
that is accessible via the argument’s public const members.
|
| 37 |
|