~/jendhub

law successful_loop_interpretation

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

import bendtorch-core@0.1.0.0/src/tensor/reduction_LAWS.bend as ReductionLAWS
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

43law successful_loop_interpretation:
44  for +fuel: Nat
45  for -shape: Shape.Shape
46  for tensor: Core.Tensor<shape>
47  for +cursor: Nat
48  for +accumulator: F32
49  SourceSum<fuel, shape, tensor, cursor, accumulator, Reduction.natural_sum_loop(fuel, shape, tensor, cursor, accumulator)>

Uses (14)

Used by (1)