def at

lawful-bytes@0.1.1.0 · bytes.bend:19

import Base
import lawful-bytes@0.1.1.0/defs.bend as D

19# Byte i (for i < len).
20def at(b: D.Bytes, +i: U32) -> D.Bytes & U32:
21  D.Bytes{+len, buf} = b
22  at.fin(len, i, Array.get(U32, buf, (i >> 2n : U32)))