law bump_unknown

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

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

333law bump_unknown:
334  for +gradients: List<&2, Maybe<&2, F32>>
335  for +target: Nat
336  for +value: F32
337  for +outside: {Nat.is_lt(target, List.length(&2, Maybe<&2, F32>, gradients)) == False{} : Bool}
338  {Backward.bump(gradients, List.length(&2, Maybe<&2, F32>, gradients), target, value) == gradients : List<&2, Maybe<&2, F32>>}