def pulse.fit

emerging-ezaudio@0.4.0.0 · src/mp3.bend:377

import Base

377# a magnitude above 15 stays on the filterbank. 0 is not a pair.
378def pulse.fit(yes: Bool, +w: U32) -> Bool:
379  match yes:
380    case False{}:
381      False{}
382    case True{}:
383      U32.is_ne(w, 0) && U32.is_lt(w, 16)