
  TYPE
    jmt$dispatching_priority_set = SET OF jmt$dispatching_priority;

*copyc jmt$dispatching_priority
