Iso8601.Iso8601.show_duration: def of bend-time-lib@0.4.0.1
Import: import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601
Lines 165-174 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=165&end_line=174

import Base
import bend-time-lib@0.4.0.1/duration.bend as Dur

def Iso8601.show_duration(d: Dur.Duration) -> String:
  match d:
    case Dur.Duration{+days, +sod, +nanos}:
      Iso8601.show_duration.has(
        days,
        U32.div(sod, 3600),
        U32.div(U32.mod(sod, 3600), 60),
        U32.mod(sod, 60),
        nanos
      )

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mod
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/duration.bend&name=Duration
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.show_duration.has