~/jendhub

def when.time.rest

emerging-eztoml@0.9.0.0 · main.bend:1010

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import Base

1010# a local time: HH:MM:SS, with the hour already taken
1011def when.time.rest(tt: List<&2, Char>, hh: U32) -> WhenOut:
1012  when.clock.mm(take.n(2n, tt, 0, True{}), hh, Date{0, 1, 1})

Uses (8)

Used by (1)