def multiplied

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

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/matmul.bend as Matrix

314def multiplied(+target: Nat, +shape: Shape.Shape,
315  result: Result<&2, &1, Matrix.Error, Core.Dynamic & Core.Dynamic & Core.Dynamic>) -> Result<&2, &1, Error, Contribution>:
316  match result:
317    case Fail{error}:
318      Fail{MatrixError{error}}
319    case Done{triple}:
320      (left, right, product) = triple
321      Done{Contribution{target, shape, product}}