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

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

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

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