~/jendhub

def counted_entry

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

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

966def counted_entry(entry: Entry, pair: List<&1, Entry> & Nat) -> List<&1, Entry> & Nat:
967  (rest, count) = pair
968  (entry <> rest, 1n+count)

Uses (5)

Used by (1)