Mp3Dec.g0.yes: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/src/mp3_dec.bend as Mp3Dec
Lines 812-817 of emerging-ezaudio@0.4.0.0/src/mp3_dec.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_dec.bend&start_line=812&end_line=817

import Base

# granule 0 of the integer pair: one big_value, gain 0, long block
def g0.yes(g: Gd) -> Bool:
  match g:
    case Gd{_part, +big, +gain, +comp, _t0, _t1, _t2, _r0, _r1, _pre, _sc, _c1, +block}:
      yn.both(yn.both(U32.is_eq(big, 1), U32.is_eq(gain, 0)),
        yn.both(U32.is_eq(comp, 0), U32.is_eq(block, 0)))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_dec.bend&name=Gd
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_dec.bend&name=yn.both