How do I check if a meeting time is before noon in EK9?

  meetingTime <- 09:30
  noon <- 12:00
  precise <- 14:30:45

  if meetingTime < noon          check if before noon
  ordering <- meetingTime <=> noon  negative = earlier, zero = same, positive = later

  earlierTime <- meetingTime <? noon  returns whichever is earlier

defines module qa.operators.comparetimes

  defines function

    <?- Check if a time is before another time. -?>
    isBeforeTime() as pure
      ->
        check as Time
        against as Time
      <- rtn as Boolean: check < against

    <?- Compare two times and return spaceship ordering. -?>
    compareTimes() as pure
      ->
        left as Time
        right as Time
      <- rtn as Integer: left <=> right

    <?- Return the earlier of two times using coalescing min. -?>
    earlierOf() as pure
      ->
        left as Time
        right as Time
      <- rtn as Time: left <? right

    <?- Return the later of two times using coalescing max. -?>
    laterOf() as pure
      ->
        left as Time
        right as Time
      <- rtn as Time: left >? right

  defines program

    CompareTimesDemo()
      stdout <- Stdout()

      // === TIME LITERALS ===

      meetingTime <- 09:30
      noon <- 12:00
      afternoon <- 14:30:45

      // === IS THE MEETING BEFORE NOON? ===

      isMorning <- isBeforeTime(meetingTime, noon)
      stdout.println(`Meeting is morning: ${isMorning}`)

      isAfternoonLater <- isBeforeTime(noon, afternoon)
      stdout.println(`Afternoon after noon: ${isAfternoonLater}`)

      // === SPACESHIP ORDERING VIA FUNCTION ===

      ordering <- compareTimes(meetingTime, noon)
      stdout.println(`Meeting <=> noon: ${ordering}`)

      // === COALESCING: FIND EARLIEST AND LATEST ===

      earlierTime <- earlierOf(meetingTime, noon)
      laterTime <- laterOf(meetingTime, noon)
      stdout.println(`Earlier: ${earlierTime}`)
      stdout.println(`Later: ${laterTime}`)

      // === SORTED TIME LIST VIA STREAM ===

      times <- List() of Time
      times += afternoon
      times += meetingTime
      times += noon

      sorted <- cat times | sort | collect as List of Time
      stdout.println(`Sorted times: ${sorted}`)

      // === STRING AND ISSET ===

      timeStr <- $meetingTime
      stdout.println(`Time string: ${timeStr}`)
      require meetingTime?

      unsetTime <- Time()
      require ~unsetTime?

      <- rtn as Boolean: check.isBefore(against)

      <- rtn as Boolean: check < against