def gr.from

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

import Base

843def gr.from(r: Rv, +gg: U32, +tab: U32, +big: U32) -> Gr:
844  match r:
845    case Rv{xs, +n}:
846      Gr{n, big, gg, tab, xs}