Instant.Instant.is_eq: def of bend-time-lib@0.4.0.1
Import: import bend-time-lib@0.4.0.1/instant.bend as Instant
Lines 63-69 of bend-time-lib@0.4.0.1/instant.bend: https://jend.leeeet.dev/read.txt?path=bend-time-lib@0.4.0.1/instant.bend&start_line=63&end_line=69

import Base

def Instant.is_eq(a: Instant, b: Instant) -> Bool:
  match a b:
    case Instant{+d1, +s1, +n1} Instant{+d2, +s2, +n2}:
      Bool.and(
        U32.is_eq(d1, d2),
        Bool.and(U32.is_eq(s1, s2), U32.is_eq(n1, n2))
      )

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/instant.bend&name=Instant