Datetime.Datetime.inst_of: def of bend-time-lib@0.4.0.1
Import: import bend-time-lib@0.4.0.1/datetime.bend as Datetime
Lines 150-158 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=150&end_line=158

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

def Datetime.inst_of(
  date: D.Date, time: TimeOfDay, offset: UtcOffset
) -> I.Instant:
  match time:
    case TimeOfDay{h, mi, s, frac}:
      Datetime.inst_of2(
        Datetime.apply_off(D.Date.to_days(date), Datetime.sod(h, mi, s), offset),
        Datetime.frac_nanos(frac)
      )

Uses (9):
  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/date.bend&name=Date.to_days
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.apply_off
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.frac_nanos
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.inst_of2
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.sod
  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
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/instant.bend&name=Instant