def finish

stelliferous@0.0.2.0 · traversal_array.bend:52

import Base

52# Return both owners when the caller can reuse the source allocation later.
53def finish(~Reader: Type,~Element: Data,~Context: Data,state: State<&1,&1,Reader,Array<Element>,Context>) -> Reader & Array<Element>:
54  State{reader,output,position,context} = state
55  (reader,output)