~/jendhub

def enc.grow

emerging-ezaudio@0.4.0.0 · src/mp3_enc.bend:1393

import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Enc
import Base

1393def enc.grow(+xs: List<&2, F32>) -> List<&2, F32>:
1394  List.append(&2, F32, xs, List.replicate(F32, U32.to_nat(enc.extra(
1395    U32.from_nat(List.length(&2, F32, xs)), enc.need(U32.from_nat(List.length(&2, F32, xs))))), 0.0))

Uses (9)

Used by (1)