Iso8601.Iso8601.dur.frac.s2: def of bend-time-lib@0.4.0.1
Import: import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601
Lines 466-476 of bend-time-lib@0.4.0.1/iso8601.bend: https://jend.leeeet.dev/read.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&start_line=466&end_line=476

import Base

def Iso8601.dur.frac.s2(
  st: Iso8601.DurS, sec: U32, acc: U32, left: Nat, empty: Bool
) -> Iso8601.DurC:
  match empty:
    case True{}:
      DurFail{Invalid{}}
    case False{}:
      Iso8601.dur.cont_r(
        Iso8601.dur.put_s(st, sec, Iso8601.dur.frac.scale(acc, Nat.sub(9n, left))),
        DSeek{}
      )

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=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  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/iso8601.bend&name=Iso8601.DurC
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.DurM
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.DurS
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.Error
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.dur.cont_r
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.dur.frac.scale
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.dur.put_s