def counted

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

import Base

970# The number of entries, next to the entries.
971def counted(entries: List<&1, Entry>) -> List<&1, Entry> & Nat:
972  match entries:
973    case Nil{}:
974      (Nil{}, 0n)
975    case Con{entry, rest}:
976      counted_entry(entry, counted(rest))