Rational.Rational.read.parts: def of bend-kit-bignum@0.1.0.0
Import: import bend-kit-bignum@0.1.0.0/rational.bend as Rational
Lines 110-117 of bend-kit-bignum@0.1.0.0/rational.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-bignum@0.1.0.0/rational.bend&start_line=110&end_line=117

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

def Rational.read.parts(ps: List<&2, String>) -> Maybe<&2, Rational>:
  match ps:
    case Con{a, Nil{}}:
      Rational.read.dec(Dec.Decimal.read(a))
    case Con{a, Con{b, Nil{}}}:
      Rational.read.frac(Big.BigInt.read(a), Big.BigInt.read(b))
    case _:
      None{}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/bigint.bend&name=BigInt.read
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/decimal.bend&name=Decimal.read
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/rational.bend&name=Rational
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/rational.bend&name=Rational.read.dec
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/rational.bend&name=Rational.read.frac