def next_block

stelliferous@0.0.2.0 · tensor_indexed.bend:45

import Base
import stelliferous@0.0.2.0/traversal_array.bend as Traversal

45def next_block(~Element: Data,~Context: Data,block: U32,size: U32,context: Context,
46  state: Traversal.State<&1,&1,Array<Element>,Array<Element>,Block>) -> Traversal.State<&1,&1,Array<Element>,Array<Element>,Blocks<Context>>:
47  Traversal.State{input,output,position,inner} = state
48  Traversal.State{input,output,position,Blocks{(block + 1 : U32),size,context}}