def base.at

bend-parallel@0.1.0.0 · sort.bend:171

import Base

171# A group's column from its last row at (nm + 1 rows): r holds the table
172# and the group's base b, which the last row holds; o is offs[c].
173def base.at(+at: U32, +step: U32, +nm: Nat, +o: U32, r: Array<U32> & U32) -> Array<U32>:
174  match nm:
175    case 0n:
176      (t, +b) = r
177      t[at] <- (o + b : U32)
178    case 1n+p:
179      (t, +b) = r
180      base.go(p, at, step, (o + b : U32), t[(at - step : U32)])