def nodes
import bendtorch-core@0.1.0.0/src/autograd/backward.bend as Backwardimport Base
196def nodes(entries: List<&2, Entry>) -> List<&2, Node>:
197 match entries:
198 case Nil{}:
199 Nil{}
200 case Con{Entry{node, value, slot}, rest}:
201 node <> nodes(rest)
Uses (3)
Used by (13)
- bendtorch-core@0.1.0.0/src/autograd/backward_PROOF:nodes_length
- bendtorch-core@0.1.0.0/src/autograd/backward:gradients
- bendtorch-core@0.1.0.0/src/autograd/backward_PROOF:wired_entries
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:backward_dangling
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:backward_success
- …