def product_planned

bendtorch-core@0.1.0.0 · src/tensor/matmul.bend:843

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

843def product_planned(+lo: Order, +ro: Order, +left: Shape.Shape, +right: Shape.Shape, a: Core.Tensor<left>, b: Core.Tensor<right>,
844  result: Result<&2, &2, Error, Product<lo, ro, left, right>>) ->
845  Result<&2, &1, Error, Core.Dynamic & Core.Dynamic & Core.Dynamic>:
846  match result:
847    case Fail{error}:
848      Fail{error}
849    case Done{+plan}:
850      product_multiply(lo, ro, left, right, plan, a, b)