def well_formed

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward_LAWS.bend:82

import Base
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as Backward

82def well_formed(nodes: List<&2, Backward.Node>) -> Bool:
83  match nodes:
84    case Nil{}:
85      True{}
86    case Con{node, +rest}:
87      Bool.and(bounded(targets(node), List.length(&2, Backward.Node, rest)), well_formed(rest))