type Run
bendtorch-core@0.1.0.0 · src/autograd/tensor_chain_PROOF.bend:200
import bendtorch-core@0.1.0.0/src/autograd/tensor_chain_PROOF.bend as TensorChainPROOF
import Base
import bendtorch-core@0.1.0.0/src/autograd/gradient.bend as Gradient
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as Backward
import bendtorch-core@0.1.0.0/src/autograd/tensor_chain_LAWS.bend as Laws
200type Run<-entries: List<&1, Backward.Entry>, -pending: List<&1, Gradient.Slot>, -count: Nat, -slots: List<&1, Gradient.Slot>, -log: Laws.Log()> is Data:
201 Kept{-done: List<&1, Backward.Entry>, -gradients: List<&1, Gradient.Slot>,
202 swept: {Backward.sweep(entries, Done{pending}, count) == (done, Done{gradients}) : Backward.Swept()},
203 pulled: {Laws.chained(entries, slots, count, log) == Done{gradients} : Laws.Slots()}}
204 Stopped{-done: List<&1, Backward.Entry>, -error: Backward.Error,
205 swept: {Backward.sweep(entries, Done{pending}, count) == (done, Fail{error}) : Backward.Swept()}}