~/jendhub

def Array.get.at

Base · base.bend:2596

import Base
2596def Array.get.at(-T: Data, i: U32, an: Array<T> & U32) -> Array<T> & T:
2597  (a, +n) = an
2598  +j = U32.and(i, U32.sub(n, 1))
2599  Array.get.go(T, a, n, j, U32.is_lt(j, U32.shr(n)))

Uses (9)

Used by (15)