c++ - Scade Suite中的折叠让我感到困惑

Question

所以我知道 reduce、accumulator 和 fold 在 C++、Python 等中是如何工作的……但出于某种原因，在 Scade Suite 中这让我有点困惑。

Scade Suite 示例 这让我很困惑

我从这个例子中不明白的是两个数组在没有累加器值的情况下相乘吗？两个数组是如何单步执行的，它们是如何相互相乘的，如果这可能发生，那么首先拥有一个累加器值的意义何在。有人可以帮我分解一下。我很笨。