def unsent_spared

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

import Base
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

142def unsent_spared(+id: Nat, pass: Backward.Pass) -> {Laws.sends_to(id, Backward.unsent(id, pass)) == False{} : Bool}:
143  match pass:
144    case Backward.Pass{saved, g, contributions}:
145      unsent_spared_result(id, saved, g, contributions)