Decimal.Decimal.divk: def of bend-kit-bignum@0.1.0.0
Import: import bend-kit-bignum@0.1.0.0/decimal.bend as Decimal
Lines 76-77 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=76&end_line=77

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

def Decimal.divk(u: Big.BigInt, k: U32) -> Bool & Big.BigInt:
  Decimal.divk.m(Big.BigInt.divmod(u, Big.BigInt.from_u32(k)))

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=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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.divmod
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/bigint.bend&name=BigInt.from_u32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/decimal.bend&name=Decimal.divk.m