def bits.pref

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

import Base

63def bits.pref(hop: Nat, +w: U32, rest: List<&2, U32>) -> List<&2, U32>:
64  match hop:
65    case 0n:
66      rest
67    case 1n++p:
68      ((w >> p : U32) .&. 1 : U32) <> bits.pref(p, w, rest)