def hf.dive

emerging-ezaudio@0.4.0.0 · src/mp3_dec.bend:214

import Base

214def hf.dive(+leaf: U32, +bits: List<&2, U32>, +w: U32, +book: U32, +huff: List<&2, U32>) -> Nd:
215  Nd{u.nth(huff, hf.idx(book, peek.at(tk.drop(U32.to_nat(w), bits), (leaf .&. 7 : U32)), leaf)),
216    tk.drop(U32.to_nat(w), bits), (leaf .&. 7 : U32), 0}