def Datetime.utc_east2
import bend-time-lib@0.4.0.1/datetime.bend as Datetimeimport Base
98def Datetime.utc_east2(
99 days: U32, +local: U32, +off: U32, ge: Bool
100) -> U32 & U32:
101 match ge:
102 case True{}:
103 (days, U32.sub(local, off))
104 case False{}:
105 (U32.sub(days, 1), U32.sub(U32.add(local, 86400), off))