  TYPE
    pmt$comparison_result = (pmc$left_is_greater, pmc$equal,
          pmc$right_is_greater);

