Zlib.out.room: def of bend-kit-zlib@0.5.1.0
Import: import bend-kit-zlib@0.5.1.0/zlib.bend as Zlib
Lines 128-133 of bend-kit-zlib@0.5.1.0/zlib.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&start_line=128&end_line=133

import Base

# The buffer doubles until k more bytes fit, so output is O(total), and it ends as the
# fewest 2^dep words that hold n, as Bytes expects.
def out.room(o: Out, +k: U32) -> Out:
  Out{buf, +dep, +n} = o
  +want = (n + k : U32)
  out.grow(out.fits(dep, want), Out{buf, dep, n}, want)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=Out
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=out.fits
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=out.grow