def targets
import bendtorch-core@0.1.0.0/src/autograd/backward_LAWS.bend as BackwardLAWSimport Base
import bendtorch-core@0.1.0.0/src/autograd/backward.bend as Backward
24def targets(node: Backward.Node) -> List<&2, Nat>:
25 match node:
26 case Backward.Leaf{}:
27 []
28 case Backward.Add{a, b}:
29 [a, b]
30 case Backward.Sub{a, b}:
31 [a, b]
32 case Backward.Mul{a, b, left, right}:
33 [a, b]
34 case Backward.Neg{a}:
35 [a]
Uses (3)
Used by (8)
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:well_formed
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:spread
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:wired_matches_operand_bounds
- bendtorch-core@0.1.0.0/src/autograd/backward_PROOF:head_ill_formed
- bendtorch-core@0.1.0.0/src/autograd/backward_PROOF:operands_bounded
- …