Decimal.Decimal.divk.m: def of bend-kit-bignum@0.1.0.0
Import: import bend-kit-bignum@0.1.0.0/decimal.bend as Decimal
Lines 68-74 of bend-kit-bignum@0.1.0.0/decimal.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-bignum@0.1.0.0/decimal.bend&start_line=68&end_line=74

import Base
import bend-kit-bignum@0.1.0.0/bigint.bend as Big

# (remainder is zero, quotient) of u / k, for a nonzero k.
def Decimal.divk.m(m: Maybe<&1, Big.BigInt & Big.BigInt>) -> Bool & Big.BigInt:
  match m:
    case Some{(q, r)}:
      (Big.BigInt.is_zero(r), q)
    case None{}:
      (False{}, Big.BigInt.zero())

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/bigint.bend&name=BigInt
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/bigint.bend&name=BigInt.is_zero
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/bigint.bend&name=BigInt.zero