TraversalArray.finish_fold: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/traversal_array.bend as TraversalArray
Lines 93-95 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=93&end_line=95

import Base

def finish_fold(~Reader: Type,~Accumulator: Data,~Context: Data,state: State<&1,&2,Reader,Accumulator,Context>) -> Reader & Accumulator:
  State{reader,accumulator,position,context} = state
  (reader,accumulator)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=State