def inflate.distance
gralha-bytes@0.1.0.1 · bytes.bend:240
import gralha-bytes@0.1.0.1/bytes.bend as Bytes
import Base
import gralha-text-scan@0.1.0.1/scan.bend as U
240def inflate.distance(read: BitRead, length: U32, out: Bytes, limit: U32) -> Inflate:
241 BitRead{symbol, stream} = read
242 +codeword = symbol
243 +input = stream
244 inflate.distance.extra(bits.read(U.choose(BitStream, U32.is_lt(codeword, 30), input, bits.invalid(input)), inflate.distance.bits(codeword)), length, inflate.distance.base(codeword), out, limit)