TraversalCells.scattered: def of stelliferous@0.0.2.0 Import: import stelliferous@0.0.2.0/traversal_cells.bend as TraversalCells Lines 11-14 of stelliferous@0.0.2.0/traversal_cells.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/traversal_cells.bend&start_line=11&end_line=14 import Base def scattered(~Owner: Type,~Cell: Data,~Context: Data,~scatter: Owner -> U32 -> Cell -> Owner,~width: U32, +position: U32,+slot: U32,context: Context,values: Owner,read: Array & Cell) -> State: (scratch,cell) = read State{scatter(values,position,cell),scratch,(position + width : U32),U32.and((slot + 1 : U32),63),context} Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array 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=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_cells.bend&name=State