def at

bend-collections@1.0.0.0 · src/crypto/sha/packed/packed.bend:5

import Base

5# Packed big-endian words: four bytes per U32. Array<U32> is flat u32 storage in native C.
6def at(a: Array<U32>, i: U32) -> Array<U32> & U32:
7  Array.get(U32,a,i)