def planned

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

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

import Base

911def planned(+output: Nat, pair: List<&1, Entry> & List<&2, Node>) -> Tape & Result<&2, &2, Error, Unit>:
912  (entries, +nodes) = pair
913  +count = List.length(&2, Node, nodes)
914  checked(entries, count, output, Nat.is_lt(output, count), wired(nodes, count))

Uses (14)

Used by (4)