def when.clock.of

emerging-eztoml@0.9.0.0 · main.bend:901

import Base

901# a clock following a date
902def when.clock.of(dd: Dig, date: Date) -> WhenOut:
903  match dd:
904    case DigBad{}:
905      WFail{"invalid time"}
906    case DigOk{n, cs}:
907      when.clock.colon(cs, n, date)