def bw.tail

emerging-ezaudio@0.4.0.0 · src/mp3_enc.bend:1169

import Base

1169def bw.tail(empty: Bool, +acc: U32, +n: U32, out: List<&2, U32>) -> List<&2, U32>:
1170  match empty:
1171    case True{}:
1172      List.reverse(&2, U32, out)
1173    case False{}:
1174      List.reverse(&2, U32, (((acc << U32.to_nat((8 - n : U32)) : U32) .&. 255 : U32) <> out))