TensorBackwardLAWS.reaches: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/autograd/tensor_backward_LAWS.bend as TensorBackwardLAWS
Lines 182-188 of bendtorch-core@0.1.0.0/src/autograd/tensor_backward_LAWS.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/autograd/tensor_backward_LAWS.bend&start_line=182&end_line=188

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

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend&name=Contribution