def inflate.length.extra
import gralha-bytes@0.1.0.1/bytes.bend as Bytesimport Base
246def inflate.length.extra(read: BitRead, base: U32, distance: Huffman, out: Bytes, limit: U32) -> Inflate:
247 BitRead{extra, stream} = read
248 inflate.distance(huff.read(distance, stream), (base + extra : U32), out, limit)