def at.fin

lawful-bytes@0.1.1.0 · bytes.bend:15

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

15def at.fin(+len: U32, +i: U32, r: Array<U32> & U32) -> D.Bytes & U32:
16  (buf, +w) = r
17  (D.Bytes{len, buf}, W.byte(w, U32.to_nat((i .&. 3 : U32))))