def lt

bend-collections-laws-math@1.0.0.0 · src/math/w64.bend:46

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

46def lt(+a: W.U64, +b: W.U64) -> Bool:
47  Bool.or(U32.is_lt(hi(a), hi(b)), Bool.and(U32.is_eq(hi(a), hi(b)), U32.is_lt(lo(a), lo(b))))