def Instant.is_lt.s
import bend-time-lib@0.4.0.1/instant.bend as Instantimport Base
78def Instant.is_lt.s(
79 +s1: U32, +n1: U32, +s2: U32, +n2: U32, eq_d: Bool, dlt: Bool
80) -> Bool:
81 match eq_d:
82 case False{}:
83 dlt
84 case True{}:
85 Instant.is_lt.n(n1, n2, U32.is_eq(s1, s2), U32.is_lt(s1, s2))