def wired

bendtorch-core@0.1.0.0 · src/autograd/backward.bend:187

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

import Base

187def wired(nodes: List<&2, Node>, +count: Nat) -> Bool:
188  match nodes count:
189    case Nil{} count:
190      True{}
191    case Con{node, rest} 0n:
192      False{}
193    case Con{node, rest} 1n+below:
194      Bool.and(operands_below(node, below), wired(rest, below))

Uses (6)

Used by (8)