def bt.go

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

import Base

81def bt.go(hop: Nat, xs: List<&2, U32>, acc: List<&2, U32>) -> Bt:
82  match hop xs:
83    case 0n ys:
84      Bt{List.reverse(&2, U32, acc), ys}
85    case _ Nil{}:
86      Bt{List.reverse(&2, U32, acc), []}
87    case 1n+p +hd <> tl:
88      bt.go(p, tl, hd <> acc)