def spread_store

stelliferous@0.0.2.0 · traversal_array.bend:176

import Base

176def spread_store(~Element: Data,~Context: Data,position: U32,output: Array<Element>,target: Target<Context>,result: Array<Element> & Element) ->
177  State<&1,&1,Array<Element>,Array<Element>,Context>:
178  Target{context,address} = target
179  (input,value) = result
180  State{input,Array.set(Element,output,address,value),(position + 1 : U32),context}