Mp3.le.u: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3
Lines 448-449 of emerging-ezaudio@0.4.0.0/src/mp3.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezaudio@0.4.0.0/src/mp3.bend&start_line=448&end_line=449

import Base

def le.u(+aa: U32, +bb: U32) -> Bool:
  le.pick(U32.is_eq(aa, bb), aa, bb)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3.bend&name=le.pick