Bytes.grow: def of lawful-bytes@0.1.1.0
Import: import lawful-bytes@0.1.1.0/bytes.bend as Bytes
Lines 70-73 of lawful-bytes@0.1.1.0/bytes.bend: https://jend.leeeet.dev/read.txt?path=lawful-bytes@0.1.1.0/bytes.bend&start_line=70&end_line=73

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

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.size
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=lawful-bytes@0.1.1.0/bytes.bend&name=grow.fin
  https://jend.leeeet.dev/definition.txt?path=lawful-bytes@0.1.1.0/defs.bend&name=Bytes