def Taken
import bendtorch-core@0.1.0.0/src/autograd/tensor_chain_LAWS.bend as TensorChainLAWSimport 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
34# The gathered slot of one id, and the contributions left for the others.
35def Taken() -> Type:
36 Result<&2, &1, Backward.Error, Gradient.Slot> & List<&1, Backward.Contribution>
Uses (6)
Used by (12)
- bendtorch-core@0.1.0.0/src/autograd/tensor_chain_LAWS:take
- bendtorch-core@0.1.0.0/src/autograd/tensor_chain_PROOF:Cell
- bendtorch-core@0.1.0.0/src/autograd/tensor_chain_LAWS:reached
- bendtorch-core@0.1.0.0/src/autograd/tensor_chain_LAWS:sorted
- bendtorch-core@0.1.0.0/src/autograd/tensor_chain_LAWS:gather_step
- …