def product_reduced

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward.bend:196

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

196def product_reduced(+target: Nat, +shape: Shape.Shape, result: Result<&2, &1, Core.Error, Core.Dynamic>) ->
197  Result<&2, &1, Error, Contribution>:
198  match result:
199    case Fail{error}:
200      Fail{TensorError{error}}
201    case Done{product}:
202      contribution_of(reduced(target, shape, product))