Format.Format.frac.go: def of bend-time-lib@0.4.0.1
Import: import bend-time-lib@0.4.0.1/format.bend as Format
Lines 149-164 of bend-time-lib@0.4.0.1/format.bend: https://jend.leeeet.dev/read.txt?path=bend-time-lib@0.4.0.1/format.bend&start_line=149&end_line=164

import Base

def Format.frac.go(
  s: String, n: Nat, dig: Bool, +h: Char, +acc: U32, off: Nat, got: Nat
) -> Result<&2, &2, Format.Error, Format.FracP>:
  match s n dig:
    case _ 0n True{}:
      Fail{BadFraction{off}}
    case _ 0n False{}:
      Format.frac.end_ok(SCon{h, s}, acc, off, got)
    case _ 1n++p False{}:
      Format.frac.end_ok(SCon{h, s}, acc, off, got)
    case SNil{} 1n++p True{}:
      Format.frac.end_ok(SNil{}, Format.nacc(acc, h), 1n+off, 1n+got)
    case SCon{+h2, t} 1n++p True{}:
      Format.frac.go(
        t, p, Char.is_digit(h2), h2, Format.nacc(acc, h), 1n+off, 1n+got
      )

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_digit
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/format.bend&name=Format.Error
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/format.bend&name=Format.FracP
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/format.bend&name=Format.frac.end_ok
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/format.bend&name=Format.nacc