def Pushed

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

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_chain_LAWS.bend as Laws

65def Pushed(state: Laws.Slots(), -slots: List<&1, Gradient.Slot>, +count: Nat, -log: Laws.Log()) -> Data:
66  match state:
67    case Fail{error}:
68      Unit
69    case Done{pending}:
70      Pulls(pending, slots, count, log)