def tk.go

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

import Base

37def tk.go(hop: Nat, xs: List<&2, U32>, +acc: U32) -> Tk:
38  match hop xs:
39    case 0n ys:
40      Tk{acc, ys}
41    case _ Nil{}:
42      Tk{acc, []}
43    case 1n+p +hd <> tl:
44      tk.go(p, tl, ((acc << 1n : U32) .|. hd : U32))