law lookup_unknown

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

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

326law lookup_unknown:
327  for -A: Data
328  for +items: List<&2, A>
329  for +id: Nat
330  for outside: {Nat.is_lt(id, List.length(&2, A, items)) == False{} : Bool}
331  {Backward.lookup(A, items, id) == None{} : Maybe<&2, A>}