def inflate.dynamic.header
gralha-bytes@0.1.0.1 · bytes.bend:337
import gralha-bytes@0.1.0.1/bytes.bend as Bytes
import Base
337def inflate.dynamic.header(read: BitRead) -> DeflateTrees:
338 BitRead{header, stream} = read
339 +word = header
340 +litCount = (U32.and(word, 31) + 257 : U32)
341 +distCount = (U32.and(U32.shrn(word, 5n), 31) + 1 : U32)
342 inflate.dynamic.codes(inflate.cl(U32.to_nat((U32.and(U32.shrn(word, 10n), 15) + 4 : U32)), 0, stream, Bytes{ByteFlat{0}, 19, 32}), litCount, distCount)