def OffsetDateTime.from
import bend-time-lib@0.4.0.1/datetime.bend as Datetimeimport Base
import bend-time-lib@0.4.0.1/date.bend as D
170def OffsetDateTime.from(
171 date: D.Date, time: TimeOfDay, offset: UtcOffset
172) -> OffsetDateTime:
173 OffsetDateTime{date, time, offset}