def marked
bendtorch-core@0.1.0.0 · src/autograd/tensor_backward.bend:1143
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackward
import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
1143def marked(+node: Node, value: Core.Dynamic, saved: Saved, pair: List<&1, Entry> & List<&2, Node>) -> Tape & Nat:
1144 (entries, +nodes) = pair
1145 +count = List.length(&2, Node, nodes)
1146 +ids = operand_ids(node)
1147 pushed(settled(node, ids, nodes, count, all_constant(ids, nodes, count)), value, saved, (entries, count))