law neg_unknown

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

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

372law neg_unknown:
373  for +entries: List<&2, Backward.Entry>
374  for +a: Nat
375  for outside: {Nat.is_lt(a, List.length(&2, Backward.Entry, entries)) == False{} : Bool}
376  {Backward.neg(Backward.Tape{entries}, a) == (Backward.Tape{entries}, Fail{Backward.UnknownNode{}}) :
377    Backward.Tape & Result<&2, &2, Backward.Error, Nat>}