def mag_lt

cswap-bend-cli@0.1.0.0 · settings.bend:189

import cswap-bend-cli@0.1.0.0/settings.bend as Settings

import Base

189# a < b on magnitudes.
190def mag_lt(a: Dec, b: Dec) -> Bool:
191  match a b:
192    case Dec{na, +ia, +fa} Dec{nb, +ib, +fb}:
193      Nat.is_lt(String.length(ia), String.length(ib))
194        || (Nat.is_eq(String.length(ia), String.length(ib))
195          && (String.is_lt(ia, ib) || (String.eq(ia, ib) && String.is_lt(fa, fb))))

Uses (9)

Used by (2)