def well_formed

bendtorch-core@0.1.0.0 · src/autograd/backward_LAWS.bend:97

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

97def well_formed(nodes: List<&2, Backward.Node>) -> Bool:
98  match nodes:
99    case Nil{}:
100      True{}
101    case Con{node, +rest}:
102      Bool.and(bounded(targets(node), List.length(&2, Backward.Node, rest)), well_formed(rest))