def block_index

stelliferous@0.0.2.0 · tensor_indexed.bend:38

import Base

38def block_index(block: Block,position: U32) -> U32:
39  Block{base,start} = block
40  (base + (position - start) : U32)