def clock.text

emerging-eztoml@0.9.0.0 · main.bend:592

import Base

592# a clock, with a fractional second when it has one
593def clock.text(cc: Clock) -> String:
594  Clock{h, mi, s, frac} = cc
595  text.pad2(h) ++ ":" ++ text.pad2(mi) ++ ":" ++ text.pad2(s) ++ clock.frac(frac)