law value_unknown

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

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

340law value_unknown:
341  for +entries: List<&2, Backward.Entry>
342  for +id: Nat
343  for outside: {Nat.is_lt(id, List.length(&2, Backward.Entry, entries)) == False{} : Bool}
344  {Backward.value(Backward.Tape{entries}, id) == Fail{Backward.UnknownNode{}} : Result<&2, &2, Backward.Error, F32>}