def Datetime.utc_east
import bend-time-lib@0.4.0.1/datetime.bend as Datetimeimport Base
107def Datetime.utc_east(days: U32, +local: U32, +off: U32) -> U32 & U32:
108 Datetime.utc_east2(days, local, off, U32.is_ge(local, off))
import bend-time-lib@0.4.0.1/datetime.bend as Datetimeimport Base
107def Datetime.utc_east(days: U32, +local: U32, +off: U32) -> U32 & U32:
108 Datetime.utc_east2(days, local, off, U32.is_ge(local, off))