def gs.ok

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

import Base

559# every channel side-info block is a long block we can decode
560def gs.ok(hop: Nat, gs: List<&2, Gd>, +ok: Bool) -> Bool:
561  match hop gs:
562    case 0n _:
563      ok
564    case _ Nil{}:
565      False{}
566    case 1n+p +hd <> tl:
567      gs.ok(p, tl, gd.both(ok, gd.use(hd)))