def lim.p

emerging-ezaudio@0.4.0.0 · src/mp3_enc.bend:452

import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Enc

import Base

452def lim.p(z: Bool, +lin: U32) -> U32:
453  match z:
454    case True{}:
455      15
456    case False{}:
457      (15 + ((1 << U32.to_nat(lin) : U32)) : U32)

Uses (5)

Used by (1)

emerging-ezaudio@0.4.0.0/src/mp3_enc:lim.of