type Words

bendtorch-core@0.1.0.0 · src/tensor/reduction_PROOF.bend:422

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_LAWS.bend as Laws

422# The words that `natural_sum_loop` reads: a list the tensor holds in index
423# order, taken from that loop's law.
424type Words<-fuel: Nat, -shape: Shape.Shape, -tensor: Core.Tensor<shape>> is Data:
425  Words{values: List<&2, F32>, -logical: Laws.LogicalValues(fuel, shape, tensor, 0n, values)}