law backward_add

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

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

220law backward_add:
221  for +x: F32
222  for +y: F32
223  {observe(program_binary(Backward.Plus{}, x, y), 2n) ==
224    (Done{F32.add(x, y)}, Done{[Some{1.0}, Some{1.0}, Some{1.0}]}) :
225    Result<&2, &2, Backward.Error, F32> & Result<&2, &2, Backward.Error, List<&2, Maybe<&2, F32>>>}