Clock.time.iso: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/clock.bend as Clock
Lines 117-120 of ezsys@0.1.0.0/src/clock.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/clock.bend&start_line=117&end_line=120

import Base

# ISO 8601 UTC of seconds since the epoch and a millisecond
def time.iso(+secs: U32, ms: U32) -> String:
  time.date((secs / 86400 : U32)) ++ SCon{'T',
    time.clock((secs % 86400 : U32), ms)}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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=ezsys@0.1.0.0/src/clock.bend&name=time.clock
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/clock.bend&name=time.date