def side.grs

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

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

1276def side.grs(gs: List<&2, Gr>, st: Bw) -> Bw:
1277  match gs:
1278    case Nil{}:
1279      st
1280    case +hd <> tl:
1281      side.grs(tl, side.gr(st, hd))

Uses (4)

Used by (1)