def grad_counted
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackwardimport Base
1029def grad_counted(+id: Nat, pair: List<&1, Entry> & Nat) -> Graded():
1030 (entries, +count) = pair
1031 grad_at(entries, count, id, at_head(count, id))