law zero_grad_empties

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

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

449# zero_grad empties every slot and keeps every node.
450law zero_grad_empties:
451  for +entries: List<&2, Backward.Entry>
452  {tape_slots(Backward.zero_grad(Backward.Tape{entries})) == Backward.nones(List.length(&2, Backward.Entry, entries)) : List<&2, Maybe<&2, F32>>}