U64.le_sign: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/math/u64.bend as U64
Lines 59-66 of bend-collections@1.0.0.0/src/math/u64.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/math/u64.bend&start_line=59&end_line=66

import Base

def le_sign(+alo: U32, +ahi: U32, +blo: U32, +bhi: U32, negative_a: Bool, negative_b: Bool) -> Bool:
  match negative_a negative_b:
    case True{} False{}:
      True{}
    case False{} True{}:
      False{}
    case _ _:
      Cmp.is_le(order(U32.cmp(ahi, bhi), U32.cmp(alo, blo)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Cmp.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.cmp
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/u64.bend&name=order