def time.iso

ezsys@0.1.0.0 · src/clock.bend:117

import Base

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