Num.frac.digits: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/num.bend as Num
Lines 102-109 of bend-toon-codec@0.1.0.0/src/num.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&start_line=102&end_line=109

import Base

def frac.digits(+neg: Bool, +ip: String, +r: Sp) -> Maybe<&2, Num>:
  match r:
    case Sp{ds, rest}:
      match ds:
        case SNil{}:
          None{}
        case _:
          frac.rest(neg, ip, ds, rest)

Uses (6):
  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=String
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&name=Num
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&name=Sp
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&name=frac.rest