def when.zone.mm.end

emerging-eztoml@0.9.0.0 · main.bend:679

import Base

679# nothing follows an offset, and its fields are in range
680def when.zone.mm.end(
681  cs: List<&2, Char>,
682  h_ok: Bool,
683  mi_ok: Bool,
684  sign: Sign,
685  hh: U32,
686  mi: U32,
687  clock: Clock,
688  date: Date
689) -> WhenOut:
690  match cs:
691    case []:
692      when.zone.mm.ok(h_ok, mi_ok, sign, hh, mi, clock, date)
693    case _ <> _:
694      WFail{"invalid zone"}