def unsent_spared_result

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward_PROOF.bend:133

import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as Backward
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward_LAWS.bend as Laws

133def unsent_spared_result(+id: Nat, -saved: Backward.Saved, -g: Core.Dynamic,
134  contributions: Result<&2, &1, Backward.Error, List<&1, Backward.Contribution>>) ->
135  {Laws.sends_to(id, Backward.unsent(id, Backward.Pass{saved, g, contributions})) == False{} : Bool}:
136  match contributions:
137    case Fail{error}:
138      {==}
139    case Done{items}:
140      spared(id, items)