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

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

# n / d at the smallest exact scale, or None when d is zero or the decimal
# expansion does not terminate (d has a prime factor other than 2 and 5).
def Decimal.from_fraction(n: Big.BigInt, +d: Big.BigInt) -> Maybe<&2, Decimal>:
  Decimal.frac.if(Big.BigInt.is_zero(d), n, d)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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/decimal.bend&name=Decimal
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/decimal.bend&name=Decimal.frac.if