def cos.put
import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Encimport Base
240def cos.put(xs: List<&2, F32>, a: Array<F32>, +ii: U32) -> Array<F32>:
241 match xs:
242 case Nil{}:
243 a
244 case +hd <> tl:
245 cos.put(tl, Array.set(F32, a, ii, hd), (ii + 1 : U32))