def Datetime.inst_of2
import bend-time-lib@0.4.0.1/datetime.bend as Datetimeimport Base
import bend-time-lib@0.4.0.1/instant.bend as I
146def Datetime.inst_of2(ds: U32 & U32, nanos: U32) -> I.Instant:
147 (days, sod) = ds
148 I.Instant{days, sod, nanos}