def reaches

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward_LAWS.bend:182

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

182# Whether a list of contributions holds one to id.
183def reaches(+id: Nat, items: List<&1, Backward.Contribution>) -> Bool:
184  match items:
185    case Nil{}:
186      False{}
187    case Con{Backward.Contribution{target, shape, gradient}, rest}:
188      Bool.or(Nat.is_eq(id, target), reaches(id, rest))