def gd.u4

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

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

import Base

546def gd.u4(ok: Bool, +big: U32) -> Bool:
547  match ok:
548    case False{}:
549      False{}
550    case True{}:
551      U32.is_lt(big, 289)

Uses (3)

Used by (1)

emerging-ezaudio@0.4.0.0/src/mp3_dec:gd.use