def push.fin

lawful-bytes@0.1.1.0 · bytes.bend:33

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

33def push.fin(+len: U32, +v: U32, r: Array<U32> & U32) -> D.Bytes:
34  (buf, +w) = r
35  D.Bytes{(len + 1 : U32), Array.set(U32, buf, (len >> 2n : U32), W.put_byte(w, U32.to_nat((len .&. 3 : U32)), v))}