law wired_matches_operand_bounds

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

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

395# The engine's wiring check is exactly the operand-bound specification above.
396law wired_matches_operand_bounds:
397  for +graph: List<&2, Backward.Node>
398  {Backward.wired(graph, List.length(&2, Backward.Node, graph)) == well_formed(graph) : Bool}