def time.iso

import ezsys@0.1.0.0/main.bend as Ezsys

import Base
import ezsys@0.1.0.0/src/clock.bend as Clock

44# ISO 8601 UTC, `YYYY-MM-DDTHH:MM:SS.mmmZ`, of seconds since the epoch and a
45# millisecond
46def time.iso(secs: U32, ms: U32) -> String:
47  Clock.time.iso(secs, ms)

Uses (3)

U32
String
ezsys@0.1.0.0/src/clock:time.iso

Used by (0)

No other definition uses this definition.