law vjp_neg

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

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

212law vjp_neg:
213  for +a: Nat
214  for +g: F32
215  {Backward.vjp(Backward.Neg{a}, g) == [Backward.Contribution{a, F32.neg(g)}] : List<&2, Backward.Contribution>}

Uses (7)

Used by (0)

No other definition uses this definition.