def time.clock

ezsys@0.1.0.0 · src/clock.bend:110

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

import Base

110# HH:MM:SS.mmmZ of a second of the day and a millisecond (its last three
111# decimal places)
112def time.clock(+sod: U32, ms: U32) -> String:
113  time.two((sod / 3600 : U32)) ++ SCon{':', time.two((sod % 3600 / 60 : U32))
114    ++ SCon{':', time.two((sod % 60 : U32)) ++ SCon{'.',
115    time.three(ms) ++ SCon{'Z', SNil{}}}}}

Uses (8)

Used by (1)

ezsys@0.1.0.0/src/clock:time.iso