type Started

bendtorch-core@0.1.0.0 · src/autograd/tensor_chain_PROOF.bend:45

import Base
import bendtorch-core@0.1.0.0/src/autograd/gradient.bend as Gradient

45# The starting slots, handed back, with the pull side of an empty log.
46type Started<-pending: List<&1, Gradient.Slot>, -count: Nat> is Type:
47  Started{copy: List<&1, Gradient.Slot>, same: {copy == pending : List<&1, Gradient.Slot>},
48    pulls: Pulls(copy, pending, count, Nil{})}