~/jendhub

def g0.yes

emerging-ezaudio@0.4.0.0 · src/mp3_dec.bend:812

import emerging-ezaudio@0.4.0.0/src/mp3_dec.bend as Mp3Dec
import Base

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

Uses (4)

Used by (1)