def Out
bendtorch-core@0.1.0.0 · src/autograd/tensor_chain_PROOF.bend:207
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
207def Out(-entries: List<&1, Backward.Entry>, state: Laws.Slots(), +count: Nat, -slots: List<&1, Gradient.Slot>, -log: Laws.Log()) -> Data:
208 match state:
209 case Fail{error}:
210 Stop<entries, error, count>
211 case Done{pending}:
212 Run<entries, pending, count, slots, log>