tmp/tmp3py1320q/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,10 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#### 21 expression-equivalent <a id="defns.expression.equivalent">[[defns.expression.equivalent]]</a>
|
| 2 |
+
|
| 3 |
+
⟨library⟩ expressions that all have the same effects, either are all
|
| 4 |
+
potentially-throwing or are all not potentially-throwing, and either are
|
| 5 |
+
all constant subexpressions or are all not constant subexpressions
|
| 6 |
+
|
| 7 |
+
[*Example 1*: For a value `x` of type `int` and a function `f` that
|
| 8 |
+
accepts integer arguments, the expressions `f(x + 2)`, `f(2 + x)`, and
|
| 9 |
+
`f(1 + x + 1)` are expression-equivalent. — *end example*]
|
| 10 |
+
|