def inf.far
import bend-kit-zlib@0.5.1.0/zlib.bend as Zlibimport Base
import bend-kit-bits@0.1.0.1/bits.bend as Bits
371# RFC 1951 §3.2.5: a distance may not reach before the first byte out.
372def inf.far(ok: Bool, lit: Bits.Huff, dist: Bits.Huff, b: Br, +len: U32, +d: U32, o: Out, +last: Bool) -> Is:
373 match ok:
374 case False{}:
375 inf.bad(b, o)
376 case True{}:
377 Is{b, cp.go(bits(len), d, out.room(o, len)), MoCodes{lit, dist}, last}