def within_digit_limit

mylsm-lsm-store@0.3.2.0 · src/Decimal.bend:46

import mylsm-lsm-store@0.3.2.0/src/Decimal.bend as Decimal

import Base

46def within_digit_limit(digit_ok: Bool, acc: Nat, digit: Nat, limit: Nat) -> Bool:
47  match digit_ok:
48    case False{}:
49      False{}
50    case True{}:
51      Nat.is_le(acc, Nat.div(Nat.sub(limit, digit), 10n))

Uses (5)

Used by (1)

mylsm-lsm-store@0.3.2.0/src/Decimal:can_accumulate