def gr.use

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

import Base

855def gr.use(z: Bool, +gg: U32, +tab: U32, bits: List<&2, U32>, ix: List<&2, U32>, +hz: U32) -> Gr:
856  match z:
857    case False{}:
858      Gr{0, 0, 0, 0, []}
859    case True{}:
860      gr.u(True{}, gg, tab, bits, bv.of(ix, hz))