def dyn.lens
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
335def dyn.lens(st: Br & List<&2, U32>, +hlit: U32, +hdist: U32) -> Br & Mo:
336 (b, acc) = st
337 dyn.cl(Bits.Huff.from_lens(False{}, cl.place(cl.slot(), List.reverse(&2, U32, acc))), b, hlit, (hlit + hdist : U32))