def OffsetDateTime.to_instant
import bend-time-lib@0.4.0.1/datetime.bend as Datetimeimport Base
import bend-time-lib@0.4.0.1/instant.bend as I
160def OffsetDateTime.to_instant(odt: OffsetDateTime) -> I.Instant:
161 match odt:
162 case OffsetDateTime{date, time, offset}:
163 Datetime.inst_of(date, time, offset)