Datetime.LocalDateTime.at_offset: def of bend-time-lib@0.4.0.1
Import: import bend-time-lib@0.4.0.1/datetime.bend as Datetime
Lines 274-279 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=274&end_line=279

import Base

def LocalDateTime.at_offset(
  local: LocalDateTime, offset: UtcOffset
) -> OffsetDateTime:
  match local:
    case LocalDateTime{date, time}:
      OffsetDateTime.from(date, time, offset)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=LocalDateTime
  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=OffsetDateTime.from
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=UtcOffset