def started
bendtorch-core@0.1.0.0 · src/autograd/tensor_chain_PROOF.bend:56
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
56def started(pending: List<&1, Gradient.Slot>, +count: Nat) -> Started<pending, count>:
57 match pending count:
58 case Nil{} count:
59 Started{Nil{}, {==}, {==}}
60 case Con{x, rest} 0n:
61 Started{x <> rest, {==}, {==}}
62 case Con{x, rest} 1n+below:
63 restarted(x, rest, below, started(rest, below))