~/jendhub

def code.put

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

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

644def code.put(xs: List<&2, U32>, a: Array<U32>, +ii: U32) -> Array<U32>:
645  match xs:
646    case Nil{}:
647      a
648    case +hd <> tl:
649      code.put(tl, Array.set(U32, a, ii, hd), (ii + 1 : U32))

Uses (5)

Used by (1)