def Instant.from
import bend-time-lib@0.4.0.1/instant.bend as Instantimport Base
119def Instant.from(
120 +days: U32, +sod: U32, +nanos: U32
121) -> Result<&2, &2, Instant.Error, Instant>:
122 Instant.from.rng(
123 days, sod, nanos,
124 Bool.and(U32.is_le(sod, 86399), U32.is_le(nanos, 999999999))
125 )