def gz.put
bend-kit-zlib@0.5.1.0 · zlib.bend:999
import bend-kit-zlib@0.5.1.0/zlib.bend as Zlib
import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-bits@0.1.0.1/bits.bend as Bits
999def gz.put(r: Bytes.Bytes & U32) -> Bytes.Bytes:
1000 (b, +crc) = r
1001 Bytes.Bytes{+n, buf} = b
1002 head = Bits.Writer.lsb(Bits.Writer.lsb(Bits.Writer.lsb(Bits.Writer.new(), 32, 559903), 32, 0), 16, 65280)
1003 Bits.Writer.finish(Bits.Writer.lsb(Bits.Writer.lsb(deflate.into(head, Bytes.Bytes{n, buf}), 32, crc), 32, n))