def grow

lawful-bytes@0.1.1.0 · bytes.bend:70

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

70# The same bytes in a block of 2^e words (for e at least the current depth).
71def grow(b: D.Bytes, +e: Nat) -> D.Bytes:
72  D.Bytes{+len, buf} = b
73  grow.fin(len, e, Array.size(U32, buf))