def reached

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

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

77def reached(nodes: List<&2, Backward.Node>, +count: Nat, +output: Nat) -> List<&2, Bool>:
78  match nodes count:
79    case Nil{} count:
80      Nil{}
81    case Con{node, rest} 0n:
82      Nil{}
83    case Con{node, +rest} 1n+below:
84      reached_chosen(node, rest, below, unit => reached(rest, below, output), Nat.is_eq(below, output))