def sends_to

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

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

190# Whether a VJP's pass sends a contribution to id.
191def sends_to(+id: Nat, pass: Backward.Pass) -> Bool:
192  Backward.Pass{saved, g, contributions} = pass
193  match contributions:
194    case Fail{error}:
195      False{}
196    case Done{items}:
197      reaches(id, items)