Datetime.OffsetDateTime.from: def of bend-time-lib@0.4.0.1
Import: import bend-time-lib@0.4.0.1/datetime.bend as Datetime
Lines 170-173 of bend-time-lib@0.4.0.1/datetime.bend: https://jend.leeeet.dev/read.txt?path=bend-time-lib@0.4.0.1/datetime.bend&start_line=170&end_line=173

import Base
import bend-time-lib@0.4.0.1/date.bend as D

def OffsetDateTime.from(
  date: D.Date, time: TimeOfDay, offset: UtcOffset
) -> OffsetDateTime:
  OffsetDateTime{date, time, offset}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=OffsetDateTime
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=TimeOfDay
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=UtcOffset