def time.iso.of
import ezsys@0.1.0.0/src/clock.bend as Clockimport Base
122# ISO 8601 UTC of a clock reading: seconds and milliseconds
123def time.iso.of(now: U32 & U32) -> String:
124 (secs, ms) = now
125 time.iso(secs, ms)
import ezsys@0.1.0.0/src/clock.bend as Clockimport Base
122# ISO 8601 UTC of a clock reading: seconds and milliseconds
123def time.iso.of(now: U32 & U32) -> String:
124 (secs, ms) = now
125 time.iso(secs, ms)