~/jendhub

def le_signed

bend-collections@1.0.0.0 · src/math/u64.bend:68

import bend-collections@1.0.0.0/src/math/u64.bend as U64
import Base

68# a <= b as signed 64-bit integers.
69def le_signed(a: U64, b: U64) -> Bool:
70  U64{alo, +ahi} = a
71  U64{blo, +bhi} = b
72  le_sign(alo, ahi, blo, bhi, U32.is_ge(ahi, 2147483648), U32.is_ge(bhi, 2147483648))

Uses (4)

Used by (1)