def when.zone.minus

emerging-eztoml@0.9.0.0 · main.bend:732

import Base

732# a minus starts a numeric offset
733def when.zone.minus(minus: Bool, tt: List<&2, Char>, clock: Clock, date: Date) -> WhenOut:
734  match minus:
735    case True{}:
736      when.zone.off(Minus{}, tt, clock, date)
737    case False{}:
738      WFail{"invalid zone"}