def body.grs

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

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

import Base

1298def body.grs(gs: List<&2, Gr>, st: Bw) -> Bw:
1299  match gs:
1300    case Nil{}:
1301      st
1302    case +hd <> tl:
1303      body.grs(tl, body.one(hd, st))

Uses (4)

Used by (1)

emerging-ezaudio@0.4.0.0/src/mp3_enc:pk.one