law vjp_add

bendtorch-core@0.1.0.0 · src/autograd/backward_LAWS.bend:189

import Base
import bendtorch-core@0.1.0.0/src/autograd/backward.bend as Backward

189law vjp_add:
190  for +a: Nat
191  for +b: Nat
192  for +g: F32
193  {Backward.vjp(Backward.Add{a, b}, g) == [Backward.Contribution{a, g}, Backward.Contribution{b, g}] : List<&2, Backward.Contribution>}