law backward_sub

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

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

227law backward_sub:
228  for +x: F32
229  for +y: F32
230  {observe(program_binary(Backward.Minus{}, x, y), 2n) ==
231    (Done{F32.sub(x, y)}, Done{[Some{1.0}, Some{F32.neg(1.0)}, Some{1.0}]}) :
232    Result<&2, &2, Backward.Error, F32> & Result<&2, &2, Backward.Error, List<&2, Maybe<&2, F32>>>}