def gr.n

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

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

import Base

671# how many channels one granule carries
672def gr.n(+nch: U32) -> Nat:
673  match nch:
674    case 1:
675      1n
676    case _:
677      2n

Uses (5)

Used by (1)

emerging-ezaudio@0.4.0.0/src/mp3_dec:gr.one