def Datetime.utc_west
import bend-time-lib@0.4.0.1/datetime.bend as Datetimeimport Base
119def Datetime.utc_west(days: U32, +local: U32, +off: U32) -> U32 & U32:
120 Datetime.utc_west2(
121 days, local, off, U32.is_ge(U32.add(local, off), 86400)
122 )