def multiplied_first

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

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/elementwise.bend as Elementwise

253def multiplied_first(+a: Nat, +b: Nat, +left: Shape.Shape, +right: Shape.Shape, x: Core.Dynamic,
254  pair: (Core.Dynamic & Core.Dynamic) & Result<&2, &1, Core.Error, Core.Dynamic>) -> Pass:
255  (operands, first) = pair
256  (g, y) = operands
257  multiplied_second(b, right, product_reduced(a, left, first), y, Elementwise.mul(g, x))