def nones
import bendtorch-core@0.1.0.0/src/autograd/backward.bend as Backwardimport Base
147def nones(count: Nat) -> List<&2, Maybe<&2, F32>>:
148 match count:
149 case 0n:
150 Nil{}
151 case 1n+rest:
152 None{} <> nones(rest)
Uses (4)
Used by (5)
- bendtorch-core@0.1.0.0/src/autograd/backward:chosen
- bendtorch-core@0.1.0.0/src/autograd/backward_PROOF:chosen_reached
- bendtorch-core@0.1.0.0/src/autograd/backward_PROOF:somes_nones
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:seed_selected_output
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:zero_grad_empties