def UtcOffset.from
import bend-time-lib@0.4.0.1/datetime.bend as Datetimeimport Base
75def UtcOffset.from(
76 west: Bool, +h: U32, +mi: U32
77) -> Result<&2, &2, UtcOffset.Error, UtcOffset>:
78 UtcOffset.from.range(
79 west, h, mi, Bool.and(U32.is_le(h, 23), U32.is_le(mi, 59))
80 )