def value_counted

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

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

import Base

978def value_counted(+id: Nat, pair: List<&1, Entry> & Nat) -> Found():
979  (entries, +count) = pair
980  value_at(entries, count, id, at_head(count, id))

Uses (8)

Used by (9)