Gather.written: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/gather.bend as Gather
Lines 207-214 of bendtorch-core@0.1.0.0/src/tensor/gather.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/gather.bend&start_line=207&end_line=214

import Base

# The entries as a balanced U32 array that a cell reads in a few steps: the
# smallest depth that holds them, as Storage allocates.
def written(entries: List<&2, U32>, array: Array<U32>, +at: U32) -> Array<U32>:
  match entries:
    case Nil{}:
      array
    case head <> rest:
      written(rest, Array.set(U32, array, at, head), U32.add(at, 1))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.set
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add