def side.skip

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

import Base

143def side.skip(bits: List<&2, U32>, +n: U32) -> List<&2, U32>:
144  bt.skip(U32.to_nat(n), bits)