law backward_neg

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

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

241law backward_neg:
242  for +x: F32
243  {observe(program_neg(x), 1n) ==
244    (Done{F32.neg(x)}, Done{[Some{1.0}, Some{F32.neg(1.0)}]}) :
245    Result<&2, &2, Backward.Error, F32> & Result<&2, &2, Backward.Error, List<&2, Maybe<&2, F32>>>}