~/jendhub

def Datetime.utc_west2

bend-time-lib@0.4.0.1 · datetime.bend:110

import bend-time-lib@0.4.0.1/datetime.bend as Datetime
import Base

110def Datetime.utc_west2(
111  days: U32, +local: U32, +off: U32, ge: Bool
112) -> U32 & U32:
113  match ge:
114    case True{}:
115      (U32.add(days, 1), U32.sub(U32.add(local, off), 86400))
116    case False{}:
117      (days, U32.add(local, off))

Uses (6)

Used by (1)