law ordered_loop_interpretation

bendtorch-core@0.1.0.0 · src/tensor/reduction_LAWS.bend:83

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/reduction.bend as Reduction

83law ordered_loop_interpretation:
84  for +fuel: Nat
85  for -shape: Shape.Shape
86  for tensor: Core.Tensor<shape>
87  for +cursor: Nat
88  for +accumulator: F32
89  for +values: List<&2, F32>
90  for logical: LogicalValues(fuel, shape, tensor, cursor, values)
91  Interpretation<loop_value(shape, Reduction.natural_sum_loop(fuel, shape, tensor, cursor, accumulator)),
92    Some{Reduction.sequential_sum(values, accumulator)}>