tmp/tmpc7u0z20e/{from.md → to.md}
RENAMED
|
@@ -73,15 +73,14 @@ convertible to `U`.
|
|
| 73 |
|
| 74 |
*Effects:* For each integer `K` in \[`0`, `last - first`) assigns
|
| 75 |
through `result + K` the value of
|
| 76 |
|
| 77 |
- *GENERALIZED_NONCOMMUTATIVE_SUM*(
|
| 78 |
-
binary_op, init, \*(first + 0), \*(first + 1),
|
| 79 |
-
K))
|
| 80 |
if `init` is provided, or
|
| 81 |
- *GENERALIZED_NONCOMMUTATIVE_SUM*(
|
| 82 |
-
binary_op, \*(first + 0), \*(first + 1),
|
| 83 |
otherwise.
|
| 84 |
|
| 85 |
*Returns:* The end of the resulting range beginning at `result`.
|
| 86 |
|
| 87 |
*Complexity:* 𝑂(`last - first`) applications of `binary_op`.
|
|
|
|
| 73 |
|
| 74 |
*Effects:* For each integer `K` in \[`0`, `last - first`) assigns
|
| 75 |
through `result + K` the value of
|
| 76 |
|
| 77 |
- *GENERALIZED_NONCOMMUTATIVE_SUM*(
|
| 78 |
+
binary_op, init, \*(first + 0), \*(first + 1), …, \*(first + K))
|
|
|
|
| 79 |
if `init` is provided, or
|
| 80 |
- *GENERALIZED_NONCOMMUTATIVE_SUM*(
|
| 81 |
+
binary_op, \*(first + 0), \*(first + 1), …, \*(first + K))
|
| 82 |
otherwise.
|
| 83 |
|
| 84 |
*Returns:* The end of the resulting range beginning at `result`.
|
| 85 |
|
| 86 |
*Complexity:* 𝑂(`last - first`) applications of `binary_op`.
|