law accumulate_moves_in

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

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

280# Fan-out: a node's first contribution moves in, and each later one is added
281# to the held total with one F32 add, total first.
282law accumulate_moves_in:
283  for contribution: Maybe<&2, F32>
284  {Backward.accumulate(None{}, contribution) == contribution : Maybe<&2, F32>}