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

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.ldt_inst(ldt: LocalDateTime) -> I.Instant:
  match ldt:
    case LocalDateTime{date, TimeOfDay{+h, +mi, +s, frac}}:
      I.Instant{
        D.Date.to_days(date), Datetime.sod(h, mi, s), Datetime.frac_nanos(frac)
      }

Uses (6):
  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.frac_nanos
  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=LocalDateTime
  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/instant.bend&name=Instant