def vjp_sub
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackwardimport 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
243# d(a-b)/da: g; d(a-b)/db: -g, negated before it is reduced, as in PyTorch.
244def vjp_sub(+a: Nat, +b: Nat, +left: Shape.Shape, +right: Shape.Shape, g: Core.Dynamic) -> Pass:
245 subtracted_first(b, right, reduced(a, left, g))