tmp/tmpx4e7beou/{from.md → to.md}
RENAMED
|
@@ -5,11 +5,11 @@ logical-and-expression:
|
|
| 5 |
inclusive-or-expression
|
| 6 |
logical-and-expression '&&' inclusive-or-expression
|
| 7 |
```
|
| 8 |
|
| 9 |
The `&&` operator groups left-to-right. The operands are both
|
| 10 |
-
contextually converted to
|
| 11 |
`true` if both operands are `true` and `false` otherwise. Unlike `&`,
|
| 12 |
`&&` guarantees left-to-right evaluation: the second operand is not
|
| 13 |
evaluated if the first operand is `false`.
|
| 14 |
|
| 15 |
The result is a `bool`. If the second expression is evaluated, every
|
|
|
|
| 5 |
inclusive-or-expression
|
| 6 |
logical-and-expression '&&' inclusive-or-expression
|
| 7 |
```
|
| 8 |
|
| 9 |
The `&&` operator groups left-to-right. The operands are both
|
| 10 |
+
contextually converted to `bool` (Clause [[conv]]). The result is
|
| 11 |
`true` if both operands are `true` and `false` otherwise. Unlike `&`,
|
| 12 |
`&&` guarantees left-to-right evaluation: the second operand is not
|
| 13 |
evaluated if the first operand is `false`.
|
| 14 |
|
| 15 |
The result is a `bool`. If the second expression is evaluated, every
|