~/jendhub

def rv.go

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

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

836def rv.go(xs: List<&2, U32>, acc: List<&2, U32>, +n: U32) -> Rv:
837  match xs:
838    case Nil{}:
839      Rv{acc, n}
840    case +hd <> tl:
841      rv.go(tl, hd <> acc, (n + 1 : U32))

Uses (4)

Used by (1)