def unsets
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackwardimport Base
import bendtorch-core@0.1.0.0/src/autograd/gradient.bend as Gradient
159def unsets(count: Nat) -> List<&1, Gradient.Slot>:
160 match count:
161 case 0n:
162 Nil{}
163 case 1n+rest:
164 Gradient.Unset{} <> unsets(rest)
Uses (3)
Used by (7)
- bendtorch-core@0.1.0.0/src/autograd/tensor_backward:seeded
- bendtorch-core@0.1.0.0/src/autograd/tensor_chain_LAWS:seeds
- bendtorch-core@0.1.0.0/src/autograd/tensor_chain_PROOF:newer_chain
- bendtorch-core@0.1.0.0/src/autograd/tensor_chain_PROOF:seeded_out
- bendtorch-core@0.1.0.0/src/autograd/tensor_chain_PROOF:seeded_run
- …