def le_sign
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as U64import Base
59def le_sign(+alo: U32, +ahi: U32, +blo: U32, +bhi: U32, negative_a: Bool, negative_b: Bool) -> Bool:
60 match negative_a negative_b:
61 case True{} False{}:
62 True{}
63 case False{} True{}:
64 False{}
65 case _ _:
66 Cmp.is_le(order(U32.cmp(ahi, bhi), U32.cmp(alo, blo)))