law backward_mul

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

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

234law backward_mul:
235  for +x: F32
236  for +y: F32
237  {observe(program_binary(Backward.Times{}, x, y), 2n) ==
238    (Done{F32.mul(x, y)}, Done{[Some{1.0}, Some{F32.mul(1.0, x)}, Some{F32.mul(1.0, y)}]}) :
239    Result<&2, &2, Backward.Error, F32> & Result<&2, &2, Backward.Error, List<&2, Maybe<&2, F32>>>}