def wired

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward.bend:858

import Base

858def wired(nodes: List<&2, Node>, +count: Nat) -> Bool:
859  match nodes count:
860    case Nil{} count:
861      True{}
862    case Con{node, rest} 0n:
863      False{}
864    case Con{node, rest} 1n+below:
865      Bool.and(operands_below(node, below), wired(rest, below))