law grad_unknown

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

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

346law grad_unknown:
347  for +entries: List<&2, Backward.Entry>
348  for +id: Nat
349  for outside: {Nat.is_lt(id, List.length(&2, Backward.Entry, entries)) == False{} : Bool}
350  {Backward.grad(Backward.Tape{entries}, id) == Fail{Backward.UnknownNode{}} : Result<&2, &2, Backward.Error, Maybe<&2, F32>>}