def frm.take

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

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

454def frm.take(+xs: List<&2, U32>, +nn: U32) -> List<&2, U32>:
455  Dec.bd.take(U32.to_nat(nn), xs, [])