def buf.add
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
475def buf.add(xs: List<&2, U32>, +hd: U32) -> List<&2, U32>:
476 List.append(&2, U32, xs, [hd])
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
475def buf.add(xs: List<&2, U32>, +hd: U32) -> List<&2, U32>:
476 List.append(&2, U32, xs, [hd])