~/jendhub

def wf.zone

emerging-eztoml@0.9.0.0 · main.bend:6230

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

6230# a zone offset in range
6231def wf.zone(zz: Zone) -> Bool:
6232  match zz:
6233    case Zulu{}:
6234      True{}
6235    case Shift{_sign, +h, +mi}:
6236      Bool.and(U32.is_le(h, 23), U32.is_le(mi, 59))

Uses (4)

Used by (1)