def dec.sum
import emerging-ezaudio@0.4.0.0/src/mp3_dec.bend as Mp3Decimport Base
529def dec.sum(xs: List<&2, U32>) -> U32:
530 dec.fold(dec.frame(side.ch(side.skip(bits.of(xs), (32 + 18 : U32))), lib.of()), 0)
Uses (9)
Used by (0)
No other definition uses this definition.