def order

bend-collections-laws-crypto@1.0.0.0 · spec/lib/numeric.bend:39

import Base

39def order(a: Word(64n), b: Word(64n), sign_a: Bool, sign_b: Bool) -> Bool:
40  match sign_a sign_b:
41    case False{} True{}:
42      False{}
43    case True{} False{}:
44      True{}
45    case x y:
46      Cmp.is_le(Word.cmp(64n, a, b))