def frm.rest

emerging-ezaudio@0.4.0.0 · src/mp3.bend:457

import Base
import emerging-ezaudio@0.4.0.0/src/mp3_dec.bend as Dec

457def frm.rest(+xs: List<&2, U32>, +nn: U32) -> List<&2, U32>:
458  Dec.bd.drop(U32.to_nat(nn), xs)