def le.pick

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

import Base

441def le.pick(eq: Bool, +aa: U32, +bb: U32) -> Bool:
442  match eq:
443    case True{}:
444      True{}
445    case False{}:
446      U32.is_lt(aa, bb)