TraversalArray.indexed_fold: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/traversal_array.bend as TraversalArray
Lines 26-30 of stelliferous@0.0.2.0/traversal_array.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/traversal_array.bend&start_line=26&end_line=30

import Base
import stelliferous@0.0.2.0/traversal_loop.bend as Loop

def indexed_fold(~Value: Type,~Context: Data,~update: U32 -> Context -> Value -> Value,
  count: Nat,position: U32,context: Context,value: Value) -> Value:
  indexed_output(~Value,~Context,
    Loop.run(~State<&2,&1,Unit,Value,Context>,~indexed_step(~Value,~Context,~update),count,
      State{Unit{},value,position,context}))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=indexed_output
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=indexed_step
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_loop.bend&name=run