How do I compare two dimensions and determine which is longer?

  width <- 2.5m
  height <- 1.8m

  if width > height          width is longer
  ordering <- width <=> height  spaceship comparison
  longer <- width >? height    coalescing for greater

defines module qa.operators.dimensioncompare

  defines function

    higherOf() as pure
      ->
        left as Dimension
        right as Dimension
      <- rtn as Dimension: left >? right

    lowerOf() as pure
      ->
        left as Dimension
        right as Dimension
      <- rtn as Dimension: left <? right

  defines program

    DimensionCompareDemo()
      stdout <- Stdout()

      // === DIMENSION LITERALS ===

      width <- 2.5m
      height <- 1.8m
      sameWidth <- 2.5m

      // === COMPARISON ===

      if width > height
        stdout.println("Width is longer than height")

      require width > height
      require height < width
      require width == sameWidth
      require width <> height

      // === SPACESHIP ORDERING ===

      ordering <- width <=> height
      stdout.println(`Width <=> Height: ${ordering}`)
      require ordering > 0

      // === COALESCING: FIND LONGER AND SHORTER ===

      longer <- higherOf(width, height)
      shorter <- lowerOf(width, height)
      stdout.println(`Longer: ${longer}`)
      stdout.println(`Shorter: ${shorter}`)
      require longer == width
      require shorter == height

      // === CROSS-UNIT RETURNS UNSET ===

      pixels <- 100px
      crossUnit <- width == pixels
      require ~crossUnit?
      stdout.println(`Cross-unit compare isSet: ${crossUnit?}`)

      // === STRING AND ISSET ===

      dimStr <- $width
      stdout.println(`Width as string: ${dimStr}`)
      require width?

      unsetDim <- Dimension()
      require ~unsetDim?

if width.getValue() > height.getValue()

if width > height